tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
development
/
coq-modules
/
at
24.11-pre
90 folders
Cheerios
Bump a few things compiling with Coq 8.19
2 years ago
CoLoR
coqPackages.CoLoR: 1.8.4 → 1.8.5
2 years ago
HoTT
coqPackages_8_19.HoTT: init at 8.19
2 years ago
ITree
coqPackages_8_19.ITree
2 years ago
InfSeqExt
Bump a few things compiling with Coq 8.19
2 years ago
LibHyps
coqPackages.LibHyps: 2.0.4.1 -> 2.0.8
2 years ago
QuickChick
coqPackages_8_19.QuickChick
2 years ago
StructTact
Bump a few things compiling with Coq 8.19
2 years ago
VST
coqPackages.VST: 2.13 → 2.14
2 years ago
Velisarios
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
Verdi
Merge pull request #265738 from Artturin/patchshebangcon
2 years ago
Vpl
coqPackages.Vpl: fix meta
2 years ago
VplTactic
coqPackages.VplTactic: init at 0.5
2 years ago
aac-tactics
coqPackages_8_19.aac-tactics: init at 8.19.0
2 years ago
addition-chains
coq_8_18: init at 8.18+rc1
2 years ago
autosubst
coq_8_18: init at 8.18+rc1
2 years ago
bignums
coqPackages.bignums: 8.18 -> 8.19
2 years ago
category-theory
coqPackages_8_17: enable a few packages for Coq 8.17
2 years ago
ceres
Bump a few things compiling with Coq 8.19
2 years ago
compcert
Merge #306080: staging-next 2024-04-22
2 years ago
contribs
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
coq-bits
Merge master into staging-next
2 years ago
coq-elpi
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)
2 years ago
coq-ext-lib
Bump a few things compiling with Coq 8.19
2 years ago
coq-haskell
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
coq-lsp
maintainers: drop marsam
2 years ago
coq-record-update
coqPackages.coq-record-update: 0.3.3 -> 0.3.4
2 years ago
coqeal
Add Coqeal 2.0.1 and algebra-tactics 1.2.3
2 years ago
coqhammer
coqPackages.coqhammer: fix src URL
2 years ago
coqide
treewide: wrapGAppsHook → wrapGAppsHook3
2 years ago
coqprime
coqPackages_8_19.coqprime
2 years ago
coqtail-math
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
coquelicot
coqPackages.coquelicot: 3.4.0 -> 3.4.1
2 years ago
corn
coqPackages.math-classes: 8.18.0 → 8.19.0
2 years ago
deriving
coqPackages_8_19.extructures
2 years ago
dpdgraph
coqPackages_8_19.dpdgraph: init at 1.0+8.19
2 years ago
equations
coqPackages_8_19.equations: init at 1.3+8.19
2 years ago
extructures
coqPackages_8_19.extructures
2 years ago
fiat
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
flocq
coqPackages.flocq: 4.1.3 -> 4.1.4
2 years ago
fourcolor
coqPackages.mathcomp: 1.18.0 -> 1.19.0
2 years ago
gaia
coqPackages.gaia: 1.15 → 1.17
2 years ago
gaia-hydras
Merge master into staging-next
2 years ago
gappalib
coqPackages.gappalib: 1.5.4 → 1.5.5
2 years ago
goedel
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
graph-theory
coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)
2 years ago
heq
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
hierarchy-builder
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)
2 years ago
hydra-battles
Merge branch 'staging' into staging-next
2 years ago
interval
coqPackages.interval: 4.9.0 → 4.10.0
2 years ago
iris
coqPackages.stdpp: 1.9.0 → 1.10.0
2 years ago
iris-named-props
coqPackages.stdpp: 1.9.0 → 1.10.0
2 years ago
itauto
coqPackages_8_19.itauto: init at 8.19.0
2 years ago
ltac2
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
math-classes
coqPackages.math-classes: 8.18.0 → 8.19.0
2 years ago
mathcomp
coqPackages.mathcomp: 2.1.0 -> 2.2.0
2 years ago
mathcomp-abel
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
mathcomp-algebra-tactics
coqPackages_8_19.mathcomp-algebra-tactics
2 years ago
mathcomp-analysis
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)
2 years ago
mathcomp-apery
coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)
2 years ago
mathcomp-bigenough
coqPackages.mathcomp: 1.18.0 -> 1.19.0
2 years ago
mathcomp-finmap
Add Coqeal 2.0.1 and algebra-tactics 1.2.3
2 years ago
mathcomp-infotheo
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)
2 years ago
mathcomp-real-closed
coqPackages_8_19.mathcomp-real-closed
2 years ago
mathcomp-tarjan
coqPackages.mathcomp: 2.1.0 -> 2.2.0
2 years ago
mathcomp-word
coqPackages.mathcomp-word: 2.2 → 2.3
2 years ago
mathcomp-zify
coqPackages.mathcomp: 2.1.0 -> 2.2.0
2 years ago
metacoq
coqPackages.metacoq: 1.2.1 → 1.3.1
2 years ago
metalib
coq_8_18: init at 8.18+rc1
2 years ago
multinomials
coqPackages_8_19.multinomials
2 years ago
odd-order
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
paco
coqPackages_8_19.paco
2 years ago
paramcoq
coqPackages.paramcoq: 8.18 -> 8.19
2 years ago
parsec
Bump a few things compiling with Coq 8.19
2 years ago
pocklington
coq_8_19: init at 8.19+rc1
2 years ago
reglang
coqPackages_8_19.reglang
2 years ago
relation-algebra
coqPackages.relation-algebra: init at 1.7.9 for Coq 8.17
2 years ago
semantics
coq_8_18: init at 8.18+rc1
2 years ago
serapi
Revert "stdenv: add meta.repository field"
2 years ago
simple-io
Bump a few things compiling with Coq 8.19
2 years ago
smpl
treewide: remove global with lib; statements in pkgs/coq-modules
3 years ago
smtcoq
Merge pull request #286807 from siraben/smtcoq-versions
2 years ago
ssprove
Merge master into staging-next
2 years ago
stdpp
coqPackages.stdpp: 1.9.0 → 1.10.0
2 years ago
tlc
treewide: use use lib.optionalAttrs instead of 'then {}'
2 years ago
topology
topology: 9.0.0 -> 10.2.0
2 years ago
trakt
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)
2 years ago
vcfloat
Merge pull request #291867 from r-ryantm/auto-update/coqPackages.LibHyps
2 years ago
vscoq-language-server
treewide: wrapGAppsHook → wrapGAppsHook3
2 years ago
zorns-lemma
Bump a few things compiling with Coq 8.19
2 years ago