public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
87a874efbb64b9ac615a510af310edf249bc96ac
nixpkgs/pkgs/development/coq-modules/dpdgraph/default.nix
Vincent Laporte f2eeeb83f2 coqPackages.dpdgraph: fix build with OCaml ≥ 4.08
2020-04-13 11:04:26 +02:00

2.2 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink