tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
development
/
coq-modules
/
at
22.05-pre
73 folders
Cheerios
coqPackages: refactor
5 years ago
CoLoR
coqPackages.CoLoR: 1.7.0 → 1.8.1
4 years ago
HoTT
coqPackages: refactor
5 years ago
ITree
coqPackages.ITree: changed pname to InteractionTrees
4 years ago
InfSeqExt
coqPackages: refactor
5 years ago
QuickChick
QuickChick: format
4 years ago
StructTact
coqPackages.StructTact: 20181102 → 20210328
4 years ago
VST
coqPackages.VST: build and install more modules from floyd/
4 years ago
Velisarios
coqPackages: refactor
5 years ago
Verdi
coqPackages.Verdi: 20200131 → 20210524
4 years ago
aac-tactics
coq_8_14: init at 8.14+rc1
4 years ago
addition-chains
coqPackages.addition-chains: 0.4 -> 0.5
4 years ago
autosubst
coqPackages.autosubst: 5b40a32e -> 1.7 and fix build
4 years ago
bignums
coq_8_14: init at 8.14+rc1
4 years ago
category-theory
coqPackages.category-theory: v20210730, for Coq versions 8.10-8.13
4 years ago
ceres
coqPackages.ceres: init at 0.4.0
4 years ago
compcert
coqPackages.VST: 2.7.1 -> 2.8
4 years ago
contribs
coqPackages: refactor
5 years ago
coq-bits
coq-bits: 1.0.0 -> 1.1.0
4 years ago
coq-elpi
coqPackages.coq-elpi: 1.10 -> 1.11
4 years ago
coq-ext-lib
coqPackages.coq-ext-lib: 0.11.3 → 0.11.4
4 years ago
coq-haskell
coqPackages: refactor
5 years ago
coqeal
coqPackages.coqeal: 1.0.6 -> 1.1.0
4 years ago
coqhammer
coqPackages.coqhammer: 1.3 → 1.3.1
4 years ago
coqprime
coqPackages.coqprime: enable for Coq 8.13
4 years ago
coqtail-math
coqtail-math: init at 20201124
4 years ago
coquelicot
coqPackages: refactor
5 years ago
corn
Merge pull request #136938 from siraben/mathcomp-analysis-update
4 years ago
deriving
coqPackages.deriving: init at 0.1.0
4 years ago
dpdgraph
coqPackages.dpdgraph: 0.6.9 → 1.0
4 years ago
equations
coq_8_14: init at 8.14+rc1
4 years ago
extructures
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
fiat
coqPackages: refactor
5 years ago
flocq
coqPackages.flocq: 3.3.1 → 3.4.2
4 years ago
fourcolor
coq_8_14: init at 8.14+rc1
4 years ago
gaia
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
gaia-hydras
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
gappalib
coqPackages.gappalib: 1.4.5 → 1.5.0
4 years ago
goedel
coqPackages.goedel: 8.12.0 -> 8.13.0
4 years ago
graph-theory
coqPackages.graph-theory: enable for Coq 8.14
4 years ago
heq
coqPackages: refactor
5 years ago
hierarchy-builder
Merge pull request #143793 from CohenCyril/fixHB-coq8.12
4 years ago
hydra-battles
coqPackages.hydra-battles: 0.4 -> 0.5
4 years ago
interval
interval: format
4 years ago
iris
Merge pull request #145711 from siraben/coq-smpl-init
4 years ago
itauto
coq_8_14: init at 8.14+rc1
4 years ago
ltac2
coqPackages: refactor
5 years ago
math-classes
Merge pull request #130023 from siraben/hierarchy-builder-update
4 years ago
mathcomp
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
mathcomp-abel
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
mathcomp-analysis
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
mathcomp-bigenough
coqPackages: refactor
5 years ago
mathcomp-finmap
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
mathcomp-real-closed
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
mathcomp-tarjan
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
mathcomp-zify
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
metalib
coqPackages.metalib: enable for Coq 8.13
4 years ago
multinomials
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
odd-order
coqPackages.mathcomp: 1.12.0 -> 1.13.0
4 years ago
paco
coq_8_14: init at 8.14+rc1
4 years ago
paramcoq
coqPackages.paramcoq: 1.1.2 → 1.1.3 (for Coq 8.10–8.12)
4 years ago
parsec
coq_8_14: init at 8.14+rc1
4 years ago
pocklington
coqPackages.pocklington: init at 8.12.0
4 years ago
reglang
coq_8_14: init at 8.14+rc1
4 years ago
relation-algebra
coq_8_14: init at 8.14+rc1
4 years ago
semantics
coq_8_14: init at 8.14+rc1
4 years ago
serapi
treewide: quote urls according to rfc 0045 (#145260)
4 years ago
simple-io
coqPackages.simple-io: enable for Coq 8.13
4 years ago
smpl
coqPackages.smpl: init
4 years ago
stdpp
Merge pull request #145711 from siraben/coq-smpl-init
4 years ago
tlc
coqPackages.tlc: 20200328 → 20210316
4 years ago
topology
coqPackage.topology: 8.12.0 -> 9.0.0
4 years ago
zorns-lemma
coqPackages.zorns-lemma: fix build of versions pre-9.0
4 years ago