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
Théo Zimmermann 170128a5a7 coqPackages.serapi: patch to fix COQPATH issue 
SerAPI was interpreting paths as relative to the Coq root.
 2021-10-21 11:55:12 +02:00