ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-29 06:45:54 +03:00
Code Issues Projects Releases Wiki Activity

coqPackages.equations: 1.0-beta -> 1.0 (#32771)

Browse Source
This commit is contained in:
Vincent Laporte 2017-12-21 20:20:27 +01:00 committed by GitHub
parent f114a75d6a
commit 58e67c3dc0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available