tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
development
/
coq-modules
/
at
23.05-pre
80 folders
Cheerios
Do not rely on coq-version when coq.version works just fine.
3 years ago
CoLoR
Do not rely on coq-version when coq.version works just fine.
3 years ago
HoTT
coqPackages: etc
5 years ago
ITree
Do not rely on coq-version when coq.version works just fine.
3 years ago
InfSeqExt
Do not rely on coq-version when coq.version works just fine.
3 years ago
LibHyps
coqPackages.LibHyps: enable for Coq 8.16
3 years ago
QuickChick
coqPackages.QuickChick: 1.6.2 → 1.6.4
3 years ago
StructTact
coqPackages.StructTact: enable for Coq 8.16
3 years ago
VST
coqPackages.VST: enable for Coq 8.16
3 years ago
Velisarios
coqPackages: refactor
5 years ago
Verdi
coqPackages.Verdi: enable for Coq 8.16
3 years ago
aac-tactics
coqPackages.aac-tactics: init at 8.16.0
3 years ago
addition-chains
coqPackages.mkCoqDerivation: upgrade to Dune 3
3 years ago
autosubst
coqPackages.autosubst: enable for Coq 8.16
3 years ago
bignums
coq_8_16: init at 8.16+rc1
3 years ago
category-theory
coqPackages.category-theory: 20211213 → 1.0.0
3 years ago
ceres
coqPackages.ceres: init at 0.4.0
4 years ago
compcert
coqPackages.compcert: enable for Coq 8.16
3 years ago
contribs
coqPackages: refactor
5 years ago
coq-bits
coqPackages.coq-bits: enable for Coq 8.16
3 years ago
coq-elpi
Merge branch 'master' into staging
3 years ago
coq-ext-lib
coqPackages.coq-ext-lib: 0.11.6 → 0.11.7
3 years ago
coq-haskell
coqPackages: refactor
5 years ago
coq-record-update
treewide: *Flags convert to list from str
3 years ago
coqeal
coqPackages.coqeal: enable for Coq 8.16
3 years ago
coqhammer
coqPackages: etc
5 years ago
coqide
coqPackages.mkCoqDerivation: upgrade to Dune 3
3 years ago
coqprime
coqPackages.coqprime: enable for Coq 8.16
3 years ago
coqtail-math
coqPackages: etc
5 years ago
coquelicot
coqPackages.coquelicot: enable for Coq 8.16
3 years ago
corn
coqPackages.corn: 8.13.0 → 8.16.0
3 years ago
deriving
coqPackages.deriving: enable for Coq 8.16
3 years ago
dpdgraph
coqPackages_8_16.dpdgraph: init at 1.0+8.16
3 years ago
equations
Support dev version of equations
3 years ago
extructures
coqPackages.extructures: enable for Coq 8.16
3 years ago
fiat
coqPackages: etc
5 years ago
flocq
coqPackages.flocq: 3.4.3 → 4.1.0
3 years ago
fourcolor
coqPackages.fourcolor: 1.2.4 → 1.2.5
3 years ago
gaia
mathcomp: 1.14.0 -> 1.15.0
3 years ago
gaia-hydras
coqPackages.mkCoqDerivation: upgrade to Dune 3
3 years ago
gappalib
Merge pull request #183106 from kyoDralliam/metacoq-1.0-8.16
3 years ago
goedel
coqPackages.goedel: enable for Coq 8.16
3 years ago
graph-theory
coqPackages.graph-theory: enable for Coq 8.16
3 years ago
heq
coqPackages: etc
5 years ago
hierarchy-builder
coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0
3 years ago
hydra-battles
coqPackages.mkCoqDerivation: upgrade to Dune 3
3 years ago
interval
coqPackages.interval: 4.5.2 → 4.6.0
3 years ago
iris
coqPackages.stdpp: 1.7.0 → 1.8.0
3 years ago
itauto
coqPackages.itauto: init at 8.16.0
3 years ago
ltac2
coqPackages: etc
5 years ago
math-classes
coqPackages.math-classes: enable for Coq 8.16
3 years ago
mathcomp
mathcomp: 1.14.0 -> 1.15.0
3 years ago
mathcomp-abel
coqPackages.mathcomp-abel: 1.2.0 → 1.2.1
3 years ago
mathcomp-analysis
Adding mathcomp-analysis single
3 years ago
mathcomp-bigenough
mathcomp: 1.14.0 -> 1.15.0
3 years ago
mathcomp-finmap
mathcomp: 1.14.0 -> 1.15.0
3 years ago
mathcomp-real-closed
mathcomp: 1.14.0 -> 1.15.0
3 years ago
mathcomp-tarjan
coqPackages.mathcomp-tarjan: enable for Coq 8.16
3 years ago
mathcomp-word
Merge pull request #194539 from vbgl/coq-category-theory-1.0.0
3 years ago
mathcomp-zify
coqPackages.mathcomp-zify: enable for Coq 8.16
3 years ago
metacoq
Merge pull request #192437 from kyoDralliam/metacoq-fix-dev
3 years ago
metalib
coqPackages.metalib: enable for Coq 8.16
3 years ago
multinomials
coqPackages.mkCoqDerivation: upgrade to Dune 3
3 years ago
odd-order
mathcomp: 1.14.0 -> 1.15.0
3 years ago
paco
coqPackages.paco: enable for Coq 8.16
3 years ago
paramcoq
coqPackages_8_16.paramcoq: init at 1.1.3+coq8.16
3 years ago
parsec
coqPackages.parsec: enable for Coq 8.16
3 years ago
pocklington
coqPackages.pocklington: init at 8.12.0
4 years ago
reglang
coqPackages.reglang: enable for Coq 8.16
3 years ago
relation-algebra
Merge remote-tracking branch 'origin/staging-next' into staging
3 years ago
semantics
coqPackages.semantics: enable for Coq 8.16
3 years ago
serapi
coqPackages.mkCoqDerivation: upgrade to Dune 3
3 years ago
simple-io
coqPackages.simple-io: fix & add tests
3 years ago
smpl
coqPackages.smpl: init at 8.14 & 8.15
3 years ago
smtcoq
coqPackages_8_13.smtcoq: build cvc4 with gcc10
3 years ago
stdpp
coqPackages.stdpp: 1.7.0 → 1.8.0
3 years ago
tlc
coqPackages.tlc: enable for Coq 8.16
3 years ago
topology
coqPackages.mkCoqDerivation: upgrade to Dune 3
3 years ago
trakt
coqPackages.trakt: enable for Coq 8.16
3 years ago
zorns-lemma
coqPackages.mkCoqDerivation: upgrade to Dune 3
3 years ago