gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
current
nixpkgs/pkgs/development/coq-modules/dpdgraph
History
Pierre Roux a7a5e224df coqPackages.dpdgraph: 1.0+8.20 -> 1.0+9.0 
master also dropped autotools
2025-09-03 11:26:09 +02:00
..
default.nix
coqPackages.dpdgraph: 1.0+8.20 -> 1.0+9.0
2025-09-03 11:26:09 +02:00