gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
current
nixpkgs/pkgs/development/coq-modules
T
History
Pierre Roux 54f8f8a829 rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1
2026-07-24 09:41:27 +02:00
..
aac-tactics
rocq-core_9_3: init at 9.3+rc1
2026-07-23 14:26:19 +02:00
addition-chains
coqPackages.addition-chains: modernize mkCoqDerivation release hash format
2026-06-17 21:33:50 +02:00
async-test
coqPackages.async-test: modernize mkCoqDerivation release hash format
2026-06-17 21:33:51 +02:00
atbr
coqPackages.atbr: modernize mkCoqDerivation release hash format
2026-06-17 21:33:51 +02:00
autosubst
coqPackages.autosubst: modernize mkCoqDerivation release hash format
2026-06-17 21:33:52 +02:00
autosubst-ocaml
coqPackages.autosubst-ocaml: modernize mkCoqDerivation release hash format
2026-06-17 21:33:51 +02:00
bbv
coqPackages.bbv: modernize mkCoqDerivation release hash format
2026-06-17 21:33:52 +02:00
bignums
coqPackages.bignums: modernize mkCoqDerivation release hash format
2026-06-17 21:33:52 +02:00
CakeMLExtraction
coqPackages.CakeMLExtraction: modernize mkCoqDerivation release hash format
2026-06-17 21:33:52 +02:00
category-theory
coqPackages.category-theory: modernize mkCoqDerivation release hash format
2026-06-17 21:33:53 +02:00
ceres
coqPackages.ceres: modernize mkCoqDerivation release hash format
2026-06-17 21:33:53 +02:00
ceres-bs
coqPackages.ceres-bs: modernize mkCoqDerivation release hash format
2026-06-17 21:33:53 +02:00
CertiRocq
coqPackages.CertiRocq: modernize mkCoqDerivation release hash format
2026-06-17 21:33:54 +02:00
Cheerios
coqPackages.Cheerios: modernize mkCoqDerivation release hash format
2026-06-17 21:33:54 +02:00
coinduction
coqPackages.coinduction: modernize mkCoqDerivation release hash format
2026-06-17 21:33:54 +02:00
CoLoR
coqPackages.CoLoR: modernize mkCoqDerivation release hash format
2026-06-17 21:33:54 +02:00
compcert
treewide: drop simple x86_64-darwin mentions
2026-07-15 03:58:16 +01:00
ConCert
coqPackages.ConCert: modernize mkCoqDerivation release hash format
2026-06-17 21:53:11 +02:00
contribs
…
coq-bits
coqPackages.coq-bits: modernize mkCoqDerivation release hash format
2026-06-17 21:53:11 +02:00
coq-elpi
mkCoqDerivation: make a wrapper on top of mkRocqDerivation
2026-07-10 17:56:53 +02:00
coq-hammer
coqPackages.coq-hammer: 1.3.2 → 1.3.3
2026-07-13 11:12:02 +02:00
coq-haskell
coqPackages.coq-haskell: modernize mkCoqDerivation release hash format
2026-06-17 21:53:11 +02:00
coq-lsp
coqPackages.coq-lsp: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coq-matrix
coqPackages.CoqMatrix: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coq-record-update
coqPackages.coq-record-update: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coq-tactical
coqPackages.coq-tactical: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coqeal
coqPackages.multinomials: 2.4.0 -> 2.5.0
2026-07-23 11:54:40 +02:00
coqfmt
coqPackages.coqfmt: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coqhammer
coqPackages.coqhammer: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coqide
…
coqprime
coqPackages.coqprime: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coqtail-math
coqPackages.coqtail-math: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coquelicot
coqPackages.coquelicot: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
coqutil
coqPackages.coqutil: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
corn
coqPackages.corn: modernize mkCoqDerivation release hash format
2026-06-17 21:53:12 +02:00
deriving
coqPackages.deriving: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
dpdgraph
coqPackages.dpdgraph: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
ElmExtraction
coqPackages.ElmExtraction: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
equations
coqPackages.equations: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
ExtLib
coqPackages.ExtLib: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
extructures
coqPackages.extructures: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
fcsl-pcm
coqPackages.fcsl-pcm: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
flocq
coqPackages.flocq: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
fourcolor
rocqPackages.mathcomp: 2.5.0 -> 2.6.0
2026-07-20 11:08:29 +02:00
gaia
rocqPackages.mathcomp: 2.5.0 -> 2.6.0
2026-07-20 11:08:29 +02:00
gaia-hydras
coqPackages.gaia-hydras: modernize mkCoqDerivation release hash format
2026-06-17 21:53:13 +02:00
gappalib
coqPackages.gappalib: modernize mkCoqDerivation release hash format
2026-06-17 21:53:14 +02:00
goedel
coqPackages.goedel: modernize mkCoqDerivation release hash format
2026-06-17 21:53:14 +02:00
graph-theory
coqPackages.graph-theory: modernize mkCoqDerivation release hash format
2026-06-17 21:53:14 +02:00
heq
coqPackages.heq: modernize mkCoqDerivation release hash format
2026-06-17 22:36:56 +02:00
hierarchy-builder
coqPackages.hierarchy-builder: modernize mkCoqDerivation release hash format
2026-06-17 22:36:56 +02:00
high-school-geometry
coqPackages.high-school-geometry: modernize mkCoqDerivation release hash format
2026-06-17 22:36:56 +02:00
HoTT
coqPackages.HoTT: modernize mkCoqDerivation release hash format
2026-06-17 22:36:56 +02:00
http
coqPackages.http: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
hydra-battles
coqPackages.hydra-battles: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
InfSeqExt
coqPackages.InfSeqExt: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
interval
coqPackages.interval: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
iris
coqPackages.iris: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
iris-named-props
coqPackages.iris-named-props: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
itauto
coqPackages.itauto: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
ITree
coqPackages.ITree: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
itree-io
coqPackages.itree-io: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
jasmin
coqPackages.jasmin: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
json
coqPackages.json: modernize mkCoqDerivation release hash format
2026-06-17 22:36:57 +02:00
lemma-overloading
coqPackages.lemma-overloading: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
LibHyps
coqPackages.LibHyps: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
ltac2
coqPackages.ltac2: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
math-classes
coqPackages.math-classes: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
mathcomp
coqPackages.mathcomp: modernize mkCoqDerivation release hash format
2026-06-17 22:36:59 +02:00
mathcomp-abel
coqPackages.mathcomp-abel: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
mathcomp-algebra-tactics
coqPackages.mathcomp-algebra-tactics: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
mathcomp-analysis
coqPackages.mathcomp-analysis: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
mathcomp-apery
coqPackages.mathcomp-apery: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
mathcomp-bigenough
coqPackages.mathcomp-bigenough: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
mathcomp-finmap
coqPackages.mathcomp-finmap: modernize mkCoqDerivation release hash format
2026-06-17 22:36:58 +02:00
mathcomp-infotheo
coqPackages.mathcomp-infotheo: modernize mkCoqDerivation release hash format
2026-06-17 22:36:59 +02:00
mathcomp-real-closed
coqPackages.mathcomp-real-closed: modernize mkCoqDerivation release hash format
2026-06-17 22:36:59 +02:00
mathcomp-tarjan
rocqPackages.mathcomp: 2.5.0 -> 2.6.0
2026-07-20 11:08:29 +02:00
mathcomp-word
coqPackages.mathcomp-word: 3.4 → 3.5
2026-07-24 06:53:31 +02:00
mathcomp-zify
rocqPackages.mathcomp: 2.5.0 -> 2.6.0
2026-07-20 11:08:29 +02:00
MenhirLib
coqPackages.MenhirLib: modernize mkCoqDerivation release hash format
2026-06-17 22:36:59 +02:00
metacoq
coqPackages.metacoq: modernize mkCoqDerivation release hash format
2026-06-17 22:36:59 +02:00
metalib
coqPackages.metalib: modernize mkCoqDerivation release hash format
2026-06-17 22:36:59 +02:00
metarocq
coqPackages.metarocq: modernize mkCoqDerivation release hash format
2026-06-17 22:36:59 +02:00
mtac2
coqPackages.mtac2: modernize mkCoqDerivation release hash format
2026-06-17 22:36:59 +02:00
multinomials
rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1
2026-07-24 09:41:27 +02:00
odd-order
rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1
2026-07-24 09:41:27 +02:00
Ordinal
coqPackages.Ordinal: modernize mkCoqDerivation release hash format
2026-06-17 22:37:00 +02:00
paco
coqPackages.paco: modernize mkCoqDerivation release hash format
2026-06-17 22:37:00 +02:00
paramcoq
coqPackages.paramcoq: modernize mkCoqDerivation release hash format
2026-06-17 22:37:00 +02:00
parsec
coqPackages.parsec: modernize mkCoqDerivation release hash format
2026-06-17 22:37:00 +02:00
parseque
coqPackages.parseque: modernize mkCoqDerivation release hash format
2026-06-17 22:37:00 +02:00
pocklington
coqPackages.pocklington: modernize mkCoqDerivation release hash format
2026-06-17 22:37:00 +02:00
QuickChick
coqPackages.QuickChick: clean up additional broken old versions
2026-07-22 11:54:04 +02:00
reglang
coqPackages.reglang: modernize mkCoqDerivation release hash format
2026-06-17 22:37:00 +02:00
relation-algebra
coqPackages.relation-algebra: modernize mkCoqDerivation release hash format
2026-06-17 22:37:00 +02:00
rewriter
coqPackages.rewriter: modernize mkCoqDerivation release hash format
2026-06-17 22:37:01 +02:00
RustExtraction
coqPackages.RustExtraction: modernize mkCoqDerivation release hash format
2026-06-17 22:37:01 +02:00
semantics
coqPackages.semantics: modernize mkCoqDerivation release hash format
2026-06-17 22:37:01 +02:00
serapi
coqPackages.serapi: modernize mkCoqDerivation release hash format
2026-06-17 22:37:01 +02:00
simple-io
coqPackages.simple-io: modernize mkCoqDerivation release hash format
2026-06-17 22:37:01 +02:00
smpl
coqPackages.smpl: modernize mkCoqDerivation release hash format
2026-06-17 22:37:01 +02:00
smtcoq
coqPackages.smtcoq: now depends on trakt
2026-07-16 11:35:42 +02:00
ssprove
coqPackages.mathcomp-word: 3.4 → 3.5
2026-07-24 06:53:31 +02:00
stalmarck
coqPackages.stalmarck-tactic: enable compilation on master
2026-07-16 15:46:53 +02:00
stdlib
coqPackages.stdlib: modernize mkCoqDerivation release hash format
2026-06-17 22:37:01 +02:00
stdpp
coqPackages.stdpp: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
StructTact
coqPackages.StructTact: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
tlc
coqPackages.tlc: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
topology
coqPackages.topology: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
trakt
coqPackages.trakt: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
TypedExtraction
coqPackages.TypedExtraction: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
unicoq
rocq-core: ocaml 5.4 -> 5.5
2026-07-23 14:30:58 +02:00
validsdp
coqPackages.validsdp: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
vcfloat
coqPackages.vcfloat: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
Velisarios
coqPackages.Velisarios: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
Verdi
coqPackages.Verdi: modernize mkCoqDerivation release hash format
2026-06-17 22:37:02 +02:00
verified-extraction
coqPackages_9_1.verified-extraction: fix meta eval
2026-03-27 06:12:34 +00:00
Vpl
coqPackages.Vpl: modernize mkCoqDerivation release hash format
2026-06-17 22:37:03 +02:00
VplTactic
coqPackages.VplTactic: modernize mkCoqDerivation release hash format
2026-06-17 22:37:03 +02:00
vscoq-language-server
mkCoqDerivation: make a wrapper on top of mkRocqDerivation
2026-07-10 17:56:53 +02:00
VST
coqPackages.VST: modernize mkCoqDerivation release hash format
2026-06-17 22:37:03 +02:00
wasmcert
rocqPackages.mathcomp: 2.5.0 -> 2.6.0
2026-07-20 11:08:29 +02:00
waterproof
coqPackages.waterproof: modernize mkCoqDerivation release hash format
2026-06-17 22:37:03 +02:00
zorns-lemma
coqPackages.zorns-lemma: modernize mkCoqDerivation release hash format
2026-06-17 22:37:03 +02:00