nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 08:00:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
nixpkgs/pkgs/development/rocq-modules
History
Vincent Laporte be9a5bfb25 rocqPackages.coqprime: support Rocq 9.2 (#578077)
2026-10-27 08:45:41 +00:00
..
aac-tactics
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
actris
rocqPackages.actris: init at 4.5.0
2026-10-06 16:51:50 -04: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
rocqPackages.wasmcert: release 2.2.1
2026-10-13 09:21:08 +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
compcert: 3.17 → 3.18
2026-10-01 10:07:10 +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
rocqPackages.coqprime: support Rocq 9.2
2026-10-23 22:29:05 +00:00
coqtail-math
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
coquelicot
rocqPackages.coquelicot: 3.4.4 -> 3.4.5
2026-08-28 08:20:28 +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
rocqPackages.deriving: enable for Rocq 9.2
2026-09-24 21:12:25 -04: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
rocqPackages.equations: 1.3.2+9.2 -> 1.3.2+9.3
2026-09-11 09:31:37 +02:00
ExtLib
rocqPackages.ExtLib: 0.13.1 → 0.13.2
2026-10-02 14:32:12 +02:00
extructures
rocqPackages.extructures: 0.5.0 -> 0.6.0
2026-10-12 16:04:33 -04:00
fcsl-pcm
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
flocq
rocqPackages.flocq: master no longer requires coq compat binaries
2026-09-24 16:35:03 +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
coqPackages.hierarchy-builder: fix old versions
2026-08-27 10:01:24 +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
rocqPackages.interval: 4.11.3 -> 4.11.5
2026-09-21 09:52:06 +02:00
iris
rocqPackages.iris: use github mirror
2026-09-25 10:46:53 +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
rocqPackages.jasmin: 2026.03.3 → 2026.09.0
2026-10-14 14:33:01 +02:00
json
rocqPackages.json: support Rocq 9.2
2026-09-13 15:47:53 -04: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
treewide: stop using lua, lua5 and luaPackages
2026-10-09 18:02:38 -05: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: 1.16.0 -> 1.18.0
2026-09-03 08:57:18 +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
rocqPackages.mathcomp-infotheo: 0.9.7 -> 0.9.8
2026-09-21 10:57:24 +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
rocqPackages.mathcomp-zify: fix dependencies
2026-10-21 16:14:18 +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
rocqPackages.parsec: support Rocq 9.2
2026-09-13 15:47:42 -04: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: 1.8.1 → 1.9.0
2026-08-26 15:23:50 +02:00
rewriter
coqPackages: move remaining derivations to rocq-modules
2026-08-18 15:39:37 +02:00
rocq-elpi
ocamlPackages.elpi: 3.7.1 -> 3.8.0
2026-09-21 08:22:54 +02:00
rocqide
rocqide: init at 9.1.1
2026-10-16 01:41:17 +02:00
rocqide-server
rocqide-server: init at 9.1.1
2026-10-16 01:03:31 +02:00
rocqnavi
rocqPackages.rocqnavi: switch build to dune
2026-10-14 14:07:11 +09: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
rocqPackages.ssprove: 0.3.1 -> 0.3.2
2026-10-23 13:59:41 +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.iris: use github mirror
2026-09-25 10:46:53 +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
ocamlPackages.{vscoq,vsrocq}-language-server: use yojson 3.0.0
2026-09-22 16:38:40 +02:00
vsrocq-language-server
ocamlPackages.{vscoq,vsrocq}-language-server: use yojson 3.0.0
2026-09-22 16:38:40 +02:00
VST
rocqPackages.VST: build the vst target (#568683)
2026-10-13 01:51:12 +00:00
wasmcert
rocqPackages.CertiRocq: fix wasmcert dependency version
2026-10-13 17:38:19 +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