gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,043,046 Commits 9 Branches 0 Tags
current
Commit Graph
1 Commits
Author SHA1 Message Date
Vincent Laporte 8530d4c332 coqPackages.serapi: fix build 
Use older version of ppx_deriving where relevant and fix to newer
version of findlib.
 2024-11-14 21:22:39 +01:00