nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-30 16:10:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
25.05-pre
nixpkgs/pkgs/development/coq-modules
History
Chen 19d66fab29 coqPackages_8_19.autosubst-ocaml: init at 1.1
2024-11-14 06:36:11 +01:00
..
aac-tactics
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
addition-chains
…
async-test
coqPackages.http: init at 0.2.1
2024-08-26 12:02:42 +02:00
atbr
coqPackages.atbr: init at 8.20.0
2024-08-22 10:36:04 +02:00
autosubst
coq.autosubst: 1.8 -> 1.9
2024-09-20 11:49:34 +02:00
autosubst-ocaml
coqPackages_8_19.autosubst-ocaml: init at 1.1
2024-11-14 06:36:11 +01:00
bbv
coqPackages.bbv: init at 1.5
2024-08-27 11:47:40 +02:00
bignums
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
category-theory
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
ceres
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
Cheerios
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
coinduction
coqPackages.coinduction: init at 1.9
2024-08-07 15:44:13 +02:00
CoLoR
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
compcert
compcert: add support for Coq 8.20.0
2024-10-04 12:57:01 +02:00
contribs
…
coq-bits
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
coq-elpi
Fixing coqPackages_8_19.coq-elpi
2024-10-14 14:04:52 +02:00
coq-hammer
treewide: remove unused lib (and other) arguments
2024-07-26 11:18:09 +02:00
coq-haskell
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
coq-lsp
coqPackages.coq-lsp: 0.2.0 -> 0.2.2
2024-10-07 05:36:37 +02:00
coq-record-update
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
coqeal
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
coqhammer
Warn about deprecated coqhammer
2024-07-23 13:40:16 +02:00
coqide
coqPackages.coqide: fix desktopItems
2024-10-01 23:08:21 +02:00
coqprime
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
coqtail-math
…
coquelicot
coqPackages.coquelicot: 3.4.1 → 3.4.2
2024-08-01 12:02:51 +02:00
coqutil
coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174)
2024-10-17 11:08:52 +02:00
corn
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
deriving
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
dpdgraph
coqPackages_8_19.dpdgraph: init at 1.0+8.19
2024-03-28 06:24:51 +01:00
ElmExtraction
coqPackages.ElmExtraction: init at 0.1.0 (#326305)
2024-09-11 05:51:15 +02:00
equations
coqPackages.equations: 1.3.1 for Coq 8.20
2024-07-23 06:47:20 +02:00
ExtLib
coqPackages.ExtLib: 0.12.1 → 0.12.2
2024-11-07 14:55:06 +01:00
extructures
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
fiat
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
flocq
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
fourcolor
treewide: remove trailing space in description
2024-07-26 03:38:50 +02:00
gaia
coqPackages.gaia: 1.17 -> 2.2
2024-08-01 17:13:09 +02:00
gaia-hydras
coqPackages_8_16: fix evaluation with math-comp ≥ 2.0
2023-12-05 06:56:28 +01:00
gappalib
coqPackages.gappalib: enable for Coq 8.20
2024-09-11 10:20:13 +02:00
goedel
treewide: Remove the definite article from meta.description
2024-06-09 23:08:46 +02:00
graph-theory
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
heq
…
hierarchy-builder
coqPackages.hierarchy-builder: do not pass VFILES if version >= 1.1.0 (#341171)
2024-09-12 21:09:04 +02:00
high-school-geometry
coqPackages.high-school-geometry: init at 8.16
2024-07-24 23:57:23 +08:00
HoTT
coqPackages.HoTT: 8.19 -> 8.20
2024-09-30 21:01:31 +02:00
http
coqPackages.http: init at 0.2.1
2024-08-26 12:02:42 +02:00
hydra-battles
coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9
2023-11-30 09:40:04 +01:00
InfSeqExt
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
interval
coqPackages.interval: 4.10.0 → 4.11.0
2024-08-14 10:36:09 +02:00
iris
coqPackages.stdpp: 1.10.0 → 1.11.0
2024-10-31 20:48:48 +01:00
iris-named-props
coqPackages.stdpp: 1.9.0 → 1.10.0
2024-04-15 10:13:00 +02:00
itauto
coqPackages_8_20.itauto: init at 8.20.0
2024-09-11 10:20:13 +02:00
ITree
coqPackages.ExtLib: 0.12.1 → 0.12.2
2024-11-07 14:55:06 +01:00
itree-io
coqPackages.itree-io: init at 0.1.1
2024-08-26 12:02:42 +02:00
json
coqPackages.json: 0.1.3 -> 0.2.0
2024-10-14 15:20:35 +02:00
LibHyps
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
ltac2
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
math-classes
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
mathcomp
Merge pull request #331530 from proux01/mc2-default
2024-08-20 08:10:55 +02:00
mathcomp-abel
coqPackages_8_10.mathcomp-abel: remove with statements
2024-08-18 06:31:15 -07:00
mathcomp-algebra-tactics
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
mathcomp-analysis
coqPackages.mathcomp-analysis: rename altreals to experimental-reals
2024-11-06 09:56:01 +01:00
mathcomp-apery
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
mathcomp-bigenough
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
mathcomp-finmap
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
mathcomp-infotheo
coqPackages.mathcomp-analysis: 1.4.0 → 1.5.0
2024-10-28 07:20:47 +01:00
mathcomp-real-closed
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
mathcomp-tarjan
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
mathcomp-word
coqPackages: Enable override with dev branches (#329356)
2024-07-23 11:49:28 +02:00
mathcomp-zify
coq-elpi: 2.0.1 -> 2.2.0 (#323590)
2024-07-01 08:04:15 +02:00
MenhirLib
coqPackages.json: init at 0.1.3
2024-08-26 12:02:42 +02:00
metacoq
MetaCoq sub-packages dependencies
2024-10-31 11:09:26 +01:00
metalib
…
mtac2
coqPackages.mtac2: init at 1.4-coq8.19
2024-09-16 09:58:24 +02:00
multinomials
coqPackages.multinomials switched back to coq_makefile
2024-07-16 10:20:41 +02:00
odd-order
…
paco
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
paramcoq
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
parsec
coqPackages.ExtLib: 0.12.1 → 0.12.2
2024-11-07 14:55:06 +01:00
pocklington
coq_8_19: init at 8.19+rc1
2023-12-19 14:41:20 +01:00
QuickChick
coqPackages.ExtLib: 0.12.1 → 0.12.2
2024-11-07 14:55:06 +01:00
reglang
reglang 1.2.1 compiles with Coq 8.20
2024-08-01 10:11:13 +02:00
relation-algebra
coqPackages.relation-algebra: 1.7.9 -> 1.7.11
2024-10-24 16:41:26 +02:00
rewriter
coqPackages.rewriter: init at 0.0.11
2024-08-28 14:39:54 +02:00
RustExtraction
coqPackages.RustExtraction: init at 0.1.0
2024-10-15 08:58:49 +02:00
semantics
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
serapi
coqPackages_8_20.serapi: init at 8.20.0+0.20.0
2024-09-11 10:20:13 +02:00
simple-io
coqPackages.ExtLib: 0.12.1 → 0.12.2
2024-11-07 14:55:06 +01:00
smpl
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
smtcoq
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
ssprove
coqPackages.ssprove: 0.2.0 → 0.2.1
2024-09-11 13:20:18 +02:00
stalmarck
coqPackages.stalmarck: init at 8.20.0
2024-08-07 12:15:20 +02:00
stdpp
coqPackages.stdpp: 1.10.0 → 1.11.0
2024-10-31 20:48:48 +01:00
StructTact
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00
tlc
coqPackages: Enable override with dev branches (#329356)
2024-07-23 11:49:28 +02:00
topology
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
trakt
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
unicoq
coqPackages.mtac2: init at 1.4-coq8.19
2024-09-16 09:58:24 +02:00
vcfloat
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
Velisarios
…
Verdi
treewide: remove unnecessary patching of configure script
2023-11-25 18:16:12 +02:00
Vpl
coqPackages.Vpl: fix meta
2024-04-02 07:06:45 +02:00
VplTactic
treewide: Remove indefinite article from meta.description
2024-06-09 23:07:45 +02:00
vscoq-language-server
coqPackages.vscoq-language-server: 2.1.4 → 2.1.7
2024-09-18 17:25:13 +02:00
VST
compcert: add support for Coq 8.19.2
2024-06-17 09:15:12 +02:00
waterproof
coqPackages.waterproof: init at 2.1.1+8.18
2024-08-27 16:00:55 +02:00
zorns-lemma
coq_8_20: init at 8.20+rc1 (#323105)
2024-06-28 15:47:38 +02:00