tangled
alpha
login
or
join now
tjh.dev
/
nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
development
/
coq-modules
/
at
20.09-beta
38 folders
Cheerios
coqPackages.Verdi: enable for Coq 8.12
5 years ago
CoLoR
coqPackages.CoLoR: enable for Coq 8.11
5 years ago
HoTT
treewide: Per RFC45, remove all unquoted URLs
5 years ago
InfSeqExt
coqPackages.Verdi: enable for Coq 8.12
5 years ago
QuickChick
coqPackages.QuickChick: 1.3.1 → 1.3.2, 1.4.0
5 years ago
StructTact
treewide: installFlags is a list
6 years ago
Velisarios
treewide: remove redundant rec
6 years ago
Verdi
coqPackages.Verdi: enable for Coq 8.12
5 years ago
autosubst
treewide: Per RFC45, remove all unquoted URLs
5 years ago
bignums
coqPackages.bignums: init at 8.12.0 for Coq 8.12
5 years ago
category-theory
treewide: Per RFC45, remove all unquoted URLs
5 years ago
contribs
coq-zorns-lemma: 8.9.0 -> 8.11.0
5 years ago
coq-bits
coqPackages.coq-bits: enable for Coq 8.11 and 8.12
5 years ago
coq-elpi
ocamlPackages.elpi: 1.11.2 -> 1.11.4
5 years ago
coq-ext-lib
coqPackages.coq-ext-lib: 0.11.1 → 0.11.2
5 years ago
coq-haskell
treewide: Per RFC45, remove all unquoted URLs
5 years ago
coqhammer
coqPackages.coqhammer: 1.2 → 1.3
5 years ago
coqprime
coqPackages.coqprime: init at 8.12 for Coq 8.12
5 years ago
coquelicot
coqPackages.coquelicot: 3.0.3 → 3.1.0
5 years ago
corn
treewide: Per RFC45, remove all unquoted URLs
5 years ago
dpdgraph
coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12
5 years ago
equations
coq_8_12: 8.12+β1 → 8.12.0
5 years ago
fiat
treewide: Per RFC45, remove all unquoted URLs
5 years ago
flocq
coqPackages.flocq: 3.2.0 → 3.3.1
5 years ago
gappalib
coqPackages.gappalib: 1.4.3 → 1.4.4
5 years ago
heq
treewide: Per RFC45, remove all unquoted URLs
5 years ago
hierarchy-builder
coq-elpi: 1.4.1 -> 1.5.1
5 years ago
interval
coqPackages.interval: 3.4.2 → 4.0.0
5 years ago
iris
coqPackages.stdpp: 1.2.1 → 1.4.0
5 years ago
ltac2
treewide: installFlags is a list
6 years ago
math-classes
coqPackages.math-classes: 8.9.1 → 8.11.0
5 years ago
mathcomp
coqPackages.mathcomp: enable 1.11.0 for Coq 8.12
5 years ago
metalib
coqPackages.metalib: 20170713 → 20200527
5 years ago
paco
coqPackages.paco: enable for Coq 8.12
5 years ago
paramcoq
coqPackages.paramcoq: init at 1.1.2 for Coq 8.12
5 years ago
simple-io
coqPackages.simple-io: enable for Coq 8.12
5 years ago
stdpp
coqPackages.stdpp: 1.2.1 → 1.4.0
5 years ago
tlc
coqPackages.tlc: 20181116 → 20200328
5 years ago
tjh.dev