nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-25 17:55:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/rocq-modules
History
Vincent Laporte af28548264 rocqPackages.math-classes: init at 9.2.0 for Coq ≥ 9.0
2026-08-25 17:06:00 +02:00
..
aac-tactics
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
addition-chains
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
async-test
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
atbr
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
autosubst
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
autosubst-ocaml
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
bbv
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
bignums
rocqPackages.bignums: merge with coqPackages.bignums
2026-08-18 15:39:35 +02:00
CakeMLExtraction
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
category-theory
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
ceres
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
ceres-bs
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
CertiRocq
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
Cheerios
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coinduction
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
CoLoR
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
compcert
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
ConCert
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
contribs
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coq-bits
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coq-elpi
coqPackages: stop building from coq-packages.nix for >= 9
2026-08-18 15:39:37 +02:00
coq-hammer
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coq-haskell
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coq-lsp
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coq-matrix
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coq-record-update
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coq-tactical
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coqeal
rocqPackages.coqeal: use mkRocqDerivation
2026-08-20 14:21:25 +02:00
coqfmt
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coqhammer
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coqide
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coqprime
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coqtail-math
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coquelicot
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coqutil
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
corn
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
deriving
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
dpdgraph
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
ElmExtraction
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
equations
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
ExtLib
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
extructures
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
fcsl-pcm
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
flocq
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
fourcolor
rocqPackages.fourcolor: use mkRocqDerivation
2026-08-20 14:18:34 +02:00
gaia
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
gaia-hydras
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
gappalib
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
goedel
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
graph-theory
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
heq
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
hierarchy-builder
rocqPackages.hierarchy-builder: merge with coqPackages.hierarchy-builder
2026-08-18 15:39:35 +02:00
high-school-geometry
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
HoTT
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
http
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
hydra-battles
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
InfSeqExt
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
interval
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
iris
rocqPackages.iris: merge with coqPackages.iris
2026-08-18 15:39:35 +02:00
iris-named-props
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
itauto
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
ITree
rocqPackages.ITree: enable for Rocq 9.2
2026-08-24 16:38:56 +02:00
itree-io
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
jasmin
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
json
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
lemma-overloading
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
LibHyps
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
ltac2
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
math-classes
rocqPackages.math-classes: init at 9.2.0 for Coq ≥ 9.0
2026-08-25 17:06:00 +02:00
mathcomp
rocqPackages.mathcomp: fix Coq shim selection
2026-08-18 15:39:38 +02:00
mathcomp-abel
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
mathcomp-algebra-tactics
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
mathcomp-analysis
rocqPackages.mathcomp-analysis: merge with coqPackages.mathcomp-analysis
2026-08-18 15:39:36 +02:00
mathcomp-apery
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
mathcomp-bigenough
rocqPackages.mathcomp-bigenough: merge with coqPackages.mathcomp-bigenough
2026-08-18 15:39:36 +02:00
mathcomp-finmap
rocqPackages.mathcomp-finmap: merge with coqPackages.mathcomp-finmap
2026-08-18 15:39:36 +02:00
mathcomp-infotheo
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
mathcomp-real-closed
rocqPackages.mathcomp-real-closed: merge with coqPackages.mathcomp-real-closed
2026-08-18 15:39:36 +02:00
mathcomp-tarjan
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
mathcomp-word
rocqPackages.mathcomp-word: enable for Rocq ≥ 9.2
2026-08-24 16:18:51 +02:00
mathcomp-zify
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
MenhirLib
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
metacoq
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
metalib
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
metarocq
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
micromega-plugin
rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1
2026-07-24 09:41:27 +02:00
mtac2
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
multinomials
rocqPackages.multinomials: use mkRocqDerivation
2026-08-20 14:20:47 +02:00
odd-order
rocqPackages.odd-order: use mkRocqDerivation
2026-08-20 14:19:13 +02:00
Ordinal
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
paco
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
paramcoq
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
parsec
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
parseque
rocqPackages.parseque: merge with coqPackages.parseque
2026-08-18 15:39:36 +02:00
pocklington
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
QuickChick
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
reglang
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
relation-algebra
rocqPackages.relation-algebra: merge with coqPackages.relation-algebra
2026-08-18 15:39:37 +02:00
rewriter
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
rocq-elpi
rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0
2026-07-24 08:37:01 +02:00
rocqnavi
rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0
2026-07-24 08:37:01 +02:00
RustExtraction
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
semantics
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
serapi
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
simple-io
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
smpl
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
smtcoq
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
ssprove
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
stalmarck
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
stdlib
rocqPackages.stdlib: merge with coqPackages.stdlib
2026-08-18 15:39:37 +02:00
stdpp
rocqPackages.stdpp: merge with coqPackages.stdpp
2026-08-18 15:39:37 +02:00
StructTact
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
tlc
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
topology
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
trakt
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
TypedExtraction
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
unicoq
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
validsdp
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
vcfloat
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
Velisarios
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
Verdi
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
verified-extraction
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
Vpl
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
VplTactic
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
vscoq-language-server
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
vsrocq-language-server
rocqPackages.vsrocq-language-server: 2.3.4 -> 2.4.3
2026-05-30 14:52:42 +03:00
VST
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
wasmcert
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
waterproof
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
zorns-lemma
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00