1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-05 03:53:41 +00:00
nixpkgs/pkgs/development/coq-modules/dpdgraph
2020-04-13 11:04:26 +02:00
..
default.nix coqPackages.dpdgraph: fix build with OCaml ≥ 4.08 2020-04-13 11:04:26 +02:00