nixpkgs

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_8_16.coq-lsp: fix for recent findlib

2024-11-14 21:22:42 +01: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_20.dpdgraph: init at 1.0+8.20

2024-11-19 21:37:32 +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

coqPackages.fourcolor: 1.3.1 → 1.4.0

2024-11-26 17:29:11 +01:00

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

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

…

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

lemma-overloading

coqPackages.lemma-overloading: init at 8.12

2024-11-22 06:55:28 +01: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: 1.5.0 -> 1.7.0 (#361371 )

2024-12-04 14:58:29 +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.5.0 -> 1.7.0 (#361371 )

2024-12-04 14:58:29 +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

…

Ordinal

coqPackages.Ordinal: init at 0.5.3

2024-11-28 07:30:11 +01:00

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

…

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.serapi: fix build

2024-11-14 21:22:39 +01: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.mathcomp-analysis: 1.5.0 -> 1.7.0 (#361371 )

2024-12-04 14:58:29 +01: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

…

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