b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/development/coq-modules
History
Guillaume Girol 33afbf39f6 treewide: switch to nativeCheckInputs 
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
..
aac-tactics coqPackages.aac-tactics: init at 8.16.0 2022-09-08 18:07:02 +02:00
addition-chains coqPackages.mkCoqDerivation: upgrade to Dune 3 2022-10-02 14:42:28 +02:00
autosubst coqPackages.autosubst: enable for Coq 8.16 2022-09-08 18:06:57 +02:00
bignums coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
category-theory coqPackages.category-theory: 20211213 → 1.0.0 2022-10-05 06:44:37 +02:00
ceres coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
Cheerios coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
CoLoR
compcert compcert: add support for Coq 8.16.1 2022-12-05 09:22:59 +01:00
contribs
coq-bits coqPackages.coq-bits: enable for Coq 8.16 2022-09-08 18:06:55 +02:00
coq-elpi coqPackages.coq-elpi: disable OCaml warnings 2022-10-12 20:38:44 +02:00
coq-ext-lib coqPackages.coq-ext-lib: 0.11.6 → 0.11.7 2022-08-17 14:44:05 +02:00
coq-haskell
coq-record-update treewide: *Flags convert to list from str 2022-10-10 15:30:59 +03:00
coqeal coqPackages.coqeal: enable for Coq 8.16 2022-09-08 18:06:52 +02:00
coqhammer
coqide coqPackages.mkCoqDerivation: upgrade to Dune 3 2022-10-02 14:42:28 +02:00
coqprime
coqtail-math
coquelicot coqPackages.coquelicot: enable for Coq 8.16 2022-09-08 18:06:29 +02:00
corn coqPackages.corn: 8.13.0 → 8.16.0 2022-09-19 13:05:52 +02:00
deriving coqPackages.deriving: enable for Coq 8.16 2022-09-08 18:06:44 +02:00
dpdgraph coqPackages_8_16.dpdgraph: init at 1.0+8.16 2022-07-28 09:00:29 +02:00
equations Support dev version of equations 2022-09-22 14:14:06 +02:00
extructures coqPackages.extructures: enable for Coq 8.16 2022-09-08 18:06:47 +02:00
fiat
flocq coqPackages.flocq: 3.4.3 → 4.1.0 2022-07-19 06:52:13 +02:00
fourcolor coqPackages.fourcolor: 1.2.4 → 1.2.5 2022-07-17 21:04:43 +02:00
gaia mathcomp: 1.14.0 -> 1.15.0 2022-08-31 19:00:56 +02:00
gaia-hydras coqPackages.mkCoqDerivation: upgrade to Dune 3 2022-10-02 14:42:28 +02:00
gappalib coqPackages.gappalib: 1.5.1 → 1.5.2 2022-09-10 14:29:01 +02:00
goedel coqPackages.goedel: enable for Coq 8.16 2022-09-08 18:06:37 +02:00
graph-theory coqPackages.graph-theory: enable for Coq 8.16 2022-09-08 18:06:35 +02:00
heq
hierarchy-builder coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0 2022-09-29 14:46:20 +02:00
HoTT Update HoTT and drop archaic 8.6 specific install 2022-11-29 12:57:11 +01:00
hydra-battles coqPackages.mkCoqDerivation: upgrade to Dune 3 2022-10-02 14:42:28 +02:00
InfSeqExt coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
interval coqPackages.interval: 4.5.2 → 4.6.0 2022-11-13 15:08:46 +01:00
iris coqPackages.stdpp: 1.7.0 → 1.8.0 2022-08-27 08:54:26 +02:00
itauto coqPackages.itauto: init at 8.16.0 2022-09-08 18:06:32 +02:00
ITree
LibHyps
ltac2
math-classes
mathcomp mathcomp: 1.14.0 -> 1.15.0 2022-08-31 19:00:56 +02:00
mathcomp-abel coqPackages.mathcomp-abel: 1.2.0 → 1.2.1 2022-07-26 16:32:49 +02:00
mathcomp-algebra-tactics coqPackages.mathcomp-algebra-tactics: init at 1.0.0 2022-11-24 20:41:35 +01:00
mathcomp-analysis Adding mathcomp-analysis single 2022-10-11 11:46:46 +02:00
mathcomp-bigenough coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
mathcomp-finmap mathcomp: 1.14.0 -> 1.15.0 2022-08-31 19:00:56 +02:00
mathcomp-real-closed mathcomp: 1.14.0 -> 1.15.0 2022-08-31 19:00:56 +02:00
mathcomp-tarjan coqPackages.mathcomp-tarjan: enable for Coq 8.16 2022-09-08 18:06:26 +02:00
mathcomp-word coqPackages.mathcomp-word: 1.1 → 2.0 2022-10-05 13:38:03 +02:00
mathcomp-zify coqPackages.mathcomp-zify: enable for Coq 8.16 2022-09-08 18:06:21 +02:00
metacoq Add metacoq 1.1 release 2022-09-27 11:08:04 +02:00
metalib
multinomials coqPackages.mkCoqDerivation: upgrade to Dune 3 2022-10-02 14:42:28 +02:00
odd-order mathcomp: 1.14.0 -> 1.15.0 2022-08-31 19:00:56 +02:00
paco
paramcoq
parsec
pocklington
QuickChick coqPackages.QuickChick: 1.6.2 → 1.6.4 2022-09-20 04:26:37 +02:00
reglang coqPackages.reglang: enable for Coq 8.16 2022-09-08 18:06:18 +02:00
relation-algebra coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16 2022-10-13 21:53:46 +02:00
semantics
serapi coqPackages.mkCoqDerivation: upgrade to Dune 3 2022-10-02 14:42:28 +02:00
simple-io treewide: switch to nativeCheckInputs 2023-01-21 12:00:00 +00:00
smpl
smtcoq coqPackages_8_13.smtcoq: fix build by using older make 2023-01-11 08:43:14 +01:00
stdpp coqPackages.stdpp: 1.7.0 → 1.8.0 2022-08-27 08:54:26 +02:00
StructTact coqPackages.StructTact: preemptive fix for removal of configure in future versions 2022-12-24 17:19:46 +01:00
tlc
topology coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
trakt coqPackages.trakt: enable for Coq 8.16 2022-09-08 18:05:52 +02:00
Velisarios
Verdi coqPackages.Verdi: preemptive fix for removal of configure in future versions 2022-12-24 17:19:51 +01:00
VST coqPackages.VST: 2.10 → 2.11.1 2022-12-22 07:34:58 +01:00
zorns-lemma coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00