nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-14 01:33:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages_8_4.flocq: remove

Browse Source
This commit is contained in:
Vincent Laporte 2017-12-02 08:46:48 +00:00
parent 5a043e24da
commit 5bd0a09351
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/top-level/all-packages.nix
View File

@ -18806,7 +18806,6 @@ with pkgs;
in
recurseIntoAttrs contribs;
flocq = callPackage ../development/coq-modules/flocq {};
heq = callPackage ../development/coq-modules/heq {};
interval = callPackage ../development/coq-modules/interval {};
mathcomp = callPackage ../development/coq-modules/mathcomp {};