gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
cc3b6f2d9160794ea69220860ba7673fa1300b83
nixpkgs/pkgs/development/coq-modules
T
History
Pierre Roux 0ddb075c4d coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
..
aac-tactics
…
addition-chains
…
async-test
…
atbr
…
autosubst
Refine dependencies from mathcomp-ssreflect to mathcomp-boot
2025-05-05 15:16:10 +02:00
autosubst-ocaml
…
bbv
…
bignums
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
category-theory
…
ceres
…
Cheerios
…
coinduction
…
CoLoR
…
compcert
…
contribs
…
coq-bits
…
coq-elpi
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
coq-hammer
…
coq-haskell
…
coq-lsp
coq-lsp: 0.2.2 -> 0.2.3
2025-06-10 12:10:21 +02:00
coq-matrix
…
coq-record-update
…
coq-tactical
…
coqeal
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
coqfmt
…
coqhammer
…
coqide
…
coqprime
…
coqtail-math
…
coquelicot
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
coqutil
…
corn
…
deriving
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
dpdgraph
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
ElmExtraction
coqPackages.ElmExtraction: 0.1.0 → 0.1.1
2025-05-26 16:59:29 +02:00
equations
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
ExtLib
…
extructures
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
flocq
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
fourcolor
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
gaia
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
gaia-hydras
…
gappalib
…
goedel
…
graph-theory
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
heq
…
hierarchy-builder
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
high-school-geometry
…
HoTT
coqPackages.HoTT: 8.20 -> 9.0
2025-05-15 10:09:38 +02:00
http
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
hydra-battles
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
InfSeqExt
…
interval
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
iris
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
iris-named-props
…
itauto
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
ITree
…
itree-io
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
jasmin
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
json
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
lemma-overloading
…
LibHyps
…
ltac2
…
math-classes
…
mathcomp
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-abel
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-algebra-tactics
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-analysis
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-apery
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-bigenough
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-finmap
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-infotheo
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-real-closed
coqPackages.mathcomp-real-closed: 2.0.2 -> 2.0.3
2025-05-10 12:06:21 +02:00
mathcomp-tarjan
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-word
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mathcomp-zify
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
MenhirLib
…
metacoq
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
metalib
…
metarocq
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
mtac2
…
multinomials
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
odd-order
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
Ordinal
…
paco
…
paramcoq
…
parsec
…
parseque
initial coq package parseque version 0.2.2
2025-05-28 08:44:13 +02:00
pocklington
…
QuickChick
Refine dependencies from mathcomp-ssreflect to mathcomp-boot
2025-05-05 15:16:10 +02:00
reglang
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
relation-algebra
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
rewriter
…
RustExtraction
coqPackages.RustExtraction: 0.1.0 → 0.1.1
2025-05-26 16:59:01 +02:00
semantics
…
serapi
…
simple-io
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
smpl
…
smtcoq
…
ssprove
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
stalmarck
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
stdlib
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
stdpp
coqPackages.*: fix formatting
2025-06-21 17:23:27 +02:00
StructTact
…
tlc
…
topology
…
trakt
…
unicoq
…
vcfloat
…
Velisarios
…
Verdi
…
Vpl
…
VplTactic
…
vscoq-language-server
coqPackages.vscoq-language-server: 2.2.5 -> 2.2.6
2025-06-02 08:54:52 +02:00
VST
…
waterproof
…
zorns-lemma
…