nixpkgs/pkgs/development/coq-modules/flocq
2019-01-23 07:45:16 +00:00
..
default.nix coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0} 2019-01-23 07:45:16 +00:00