Dawoox/nixpkgs
1
1
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
Files
e041d36e619b6f8f13dbc3d4535fdfbf2aff56b1
nixpkgs/pkgs/development/coq-modules
History
Vincent Laporte 23ca692e36 coqPackages.relation-algebra: 1.7.9 -> 1.7.11
2024-10-24 16:41:26 +02:00
..
aac-tactics
…
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
bbv
coqPackages.bbv: init at 1.5
2024-08-27 11:47:40 +02:00
bignums
…
category-theory
…
ceres
…
Cheerios
…
coinduction
coqPackages.coinduction: init at 1.9
2024-08-07 15:44:13 +02:00
CoLoR
…
compcert
compcert: add support for Coq 8.20.0
2024-10-04 12:57:01 +02:00
contribs
…
coq-bits
…
coq-elpi
Fixing coqPackages_8_19.coq-elpi
2024-10-14 14:04:52 +02:00
coq-ext-lib
…
coq-hammer
treewide: remove unused lib (and other) arguments
2024-07-26 11:18:09 +02:00
coq-haskell
…
coq-lsp
coqPackages.coq-lsp: 0.2.0 -> 0.2.2
2024-10-07 05:36:37 +02:00
coq-record-update
…
coqeal
…
coqhammer
…
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
…
deriving
…
dpdgraph
…
ElmExtraction
coqPackages.ElmExtraction: init at 0.1.0 (#326305)
2024-09-11 05:51:15 +02:00
equations
…
extructures
…
fiat
…
flocq
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
fourcolor
…
gaia
coqPackages.gaia: 1.17 -> 2.2
2024-08-01 17:13:09 +02:00
gaia-hydras
…
gappalib
coqPackages.gappalib: enable for Coq 8.20
2024-09-11 10:20:13 +02:00
goedel
…
graph-theory
…
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
…
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
…
InfSeqExt
…
interval
coqPackages.interval: 4.10.0 → 4.11.0
2024-08-14 10:36:09 +02:00
iris
…
iris-named-props
…
itauto
coqPackages_8_20.itauto: init at 8.20.0
2024-09-11 10:20:13 +02:00
ITree
coqPackages.ITree: 5.1.2 -> 5.2.0
2024-08-16 00:52:08 +09: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
…
ltac2
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
math-classes
…
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
…
mathcomp-analysis
coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0
2024-10-08 20:58:47 +02:00
mathcomp-apery
…
mathcomp-bigenough
…
mathcomp-finmap
…
mathcomp-infotheo
coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0
2024-10-08 20:58:47 +02:00
mathcomp-real-closed
…
mathcomp-tarjan
…
mathcomp-word
…
mathcomp-zify
…
MenhirLib
coqPackages.json: init at 0.1.3
2024-08-26 12:02:42 +02:00
metacoq
coqPackages.metacoq: update for coq 8.20
2024-09-11 06:35:25 +02:00
metalib
…
mtac2
coqPackages.mtac2: init at 1.4-coq8.19
2024-09-16 09:58:24 +02:00
multinomials
…
odd-order
…
paco
…
paramcoq
…
parsec
coqPackages.parsec: 0.1.2 -> 0.2.0
2024-10-14 14:05:09 +02:00
pocklington
…
QuickChick
coqPackages.QuickChick: 2.0.2 → 2.0.4
2024-09-23 12:57:00 +02: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
…
serapi
coqPackages_8_20.serapi: init at 8.20.0+0.20.0
2024-09-11 10:20:13 +02:00
simple-io
coqPackages.simple-io: 1.8.0 → 1.10.0
2024-09-23 12:57:00 +02:00
smpl
…
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
…
StructTact
…
tlc
…
topology
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
trakt
…
unicoq
coqPackages.mtac2: init at 1.4-coq8.19
2024-09-16 09:58:24 +02:00
vcfloat
…
Velisarios
…
Verdi
…
Vpl
…
VplTactic
…
vscoq-language-server
coqPackages.vscoq-language-server: 2.1.4 → 2.1.7
2024-09-18 17:25:13 +02:00
VST
…
waterproof
coqPackages.waterproof: init at 2.1.1+8.18
2024-08-27 16:00:55 +02:00
zorns-lemma
…