2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-08 22:14:34 +00:00
nixpkgs/pkgs/development/coq-modules/equations
2022-01-25 15:24:08 +01:00
..
default.nix coqPackages_8_15.equations: init at 1.3+8.15 2022-01-25 15:24:08 +01:00