pyrox.dev / nixpkgs
lol
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

coqPackages_8_4.coqExtLib: remove

Vincent Laporte 7a12b3de 1ada9f82

-2
-1
pkgs/development/coq-modules/coq-ext-lib/default.nix
··· 2 2 3 3 let param = 4 4 { 5 - "8.4" = { version = "0.9.0"; sha256 = "1n3bk003vvbghbrxkhal6drnc0l65jv9y77wd56is3jw9xgiif0w"; }; 6 5 "8.5" = { version = "0.9.4"; sha256 = "1y66pamgsdxlq2w1338lj626ln70cwj7k53hxcp933g8fdsa4hp0"; }; 7 6 "8.6" = { version = "0.9.5"; sha256 = "1b4cvz3llxin130g13calw5n1zmvi6wdd5yb8a41q7yyn2hd3msg"; }; 8 7 "8.7" = { version = "0.9.5"; sha256 = "1b4cvz3llxin130g13calw5n1zmvi6wdd5yb8a41q7yyn2hd3msg"; };
-1
pkgs/top-level/all-packages.nix
··· 18806 18806 in 18807 18807 recurseIntoAttrs contribs; 18808 18808 18809 - coqExtLib = callPackage ../development/coq-modules/coq-ext-lib {}; 18810 18809 coqeal = callPackage ../development/coq-modules/coqeal {}; 18811 18810 coquelicot = callPackage ../development/coq-modules/coquelicot {}; 18812 18811 domains = callPackage ../development/coq-modules/domains {};