swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-11-06 02:06:46 +01:00
Code Issues Packages Projects Releases Wiki Activity
186445 commits 5 branches 0 tags 31 GiB
Commit graph

2 commits

Author SHA1 Message Date
Vincent Laporte 5f78fa399d
coqPackages.gappalib: disable for Coq 8.10 2019-06-27 13:59:02 +00:00
Vincent Laporte 37eef9055a coqPackages.gappalib: init at 1.4.1 
This is the Coq support library for Gappa.
 2019-06-19 09:24:34 +00:00