swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-10-20 20:53:19 +02:00
Code Issues Packages Projects Releases Wiki Activity
205043 commits 5 branches 0 tags 31 GiB
Commit graph

5 commits

Author SHA1 Message Date
volth 35d68ef143 treewide: remove redundant quotes 2019-08-26 21:40:19 +00:00
Cyril Cohen d80148928b coqPackages: fix + add multinomials 1.3 + coqeal 1.0.0 2019-07-02 12:01:36 +00:00
Cyril Cohen 547466064e
coqPackages.mathcomp: 1.8.0 -> 1.9.0 and adding real-closed 2019-06-03 15:23:35 +00:00
Cyril Cohen d16a78b512 several fixes in coq and coqPackages.mathcomp (and extras) 2019-05-21 08:55:38 +02:00
Cyril Cohen b71c308591
coqPackages: refactor mathcomp packages 
Closes #61456
 2019-05-15 14:11:21 +00:00