2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-27 14:34:33 +00:00
nixpkgs/pkgs/development/coq-modules
2023-10-31 08:17:03 +01:00
..
aac-tactics
addition-chains
autosubst
bignums
category-theory
ceres
Cheerios
CoLoR
compcert compcert: add aarch64 support 2023-09-19 13:30:30 +02:00
contribs
coq-bits
coq-elpi
coq-ext-lib
coq-haskell
coq-lsp coqPackages.coq-lsp: 0.1.7 -> 0.1.8 2023-10-26 10:13:24 +02:00
coq-record-update
coqeal Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
coqhammer
coqide
coqprime
coqtail-math
coquelicot
corn coqPackages.corn: 8.16.0 → 8.18.0 2023-10-25 07:56:54 +02:00
deriving coqPackages.deriving: 0.1.1 -> 0.2.0 () 2023-10-17 16:24:58 +02:00
dpdgraph
equations
extructures Update pkgs/development/coq-modules/extructures/default.nix 2023-10-25 18:19:16 +02:00
fiat
flocq coqPackages.flocq: 4.1.1 → 4.1.3 2023-09-21 11:02:55 +02:00
fourcolor fourcolor: 1.3.0 -> 1.3.1 2023-10-31 08:17:03 +01:00
gaia
gaia-hydras
gappalib
goedel
graph-theory
heq
hierarchy-builder
HoTT
hydra-battles
InfSeqExt
interval
iris coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1 2023-10-13 13:15:46 +02:00
itauto coqPackages.itauto: enable for Coq 8.18 2023-09-21 11:02:55 +02:00
ITree
LibHyps
ltac2
math-classes coqPackages.math-classes: 8.17.0 → 8.18.0 2023-10-25 07:56:54 +02:00
mathcomp Add mathcomp 2.1.0 2023-10-25 17:45:56 +02:00
mathcomp-abel
mathcomp-algebra-tactics Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
mathcomp-analysis
mathcomp-apery
mathcomp-bigenough
mathcomp-finmap Add a few packages for Coq 8.18 and MathComp 2.0 2023-09-04 10:02:59 +02:00
mathcomp-infotheo
mathcomp-real-closed Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
mathcomp-tarjan Add a few packages for Coq 8.18 and MathComp 2.0 2023-09-04 10:02:59 +02:00
mathcomp-word
mathcomp-zify Add a few packages for Coq 8.18 and MathComp 2.0 2023-09-04 10:02:59 +02:00
metacoq
metalib
multinomials Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
odd-order
paco
paramcoq
parsec
pocklington
QuickChick
reglang Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
relation-algebra
semantics
serapi coqPackages.serapi: fix build with Coq 8.16 2023-09-26 14:10:44 +02:00
simple-io
smpl
smtcoq
stdpp coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1 2023-10-13 13:15:46 +02:00
StructTact
tlc
topology
trakt
vcfloat coqPackages.vcfloat: init at 2.1.1 2023-09-29 23:57:07 +02:00
Velisarios
Verdi
VST
zorns-lemma