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

…

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

coqPackages.compcert: use external MenhirLib

2024-08-20 14:58:36 +02:00

contribs

…

coq-bits

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +02:00

coq-elpi

coq-elpi: 2.0.1 -> 2.2.0 (#323590 )

2024-07-01 08:04:15 +02:00

coq-ext-lib

coqPackages.coq-ext-lib: 0.12.0 → 0.12.1

2024-06-28 06:19:40 +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

coq-lsp: 0.1.9 -> 0.2.0

2024-09-02 14:53:18 +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

adwaita-icon-theme: Move from gnome scope to top-level

2024-07-01 08:26:46 +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

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

…

equations

coqPackages.equations: 1.3.1 for Coq 8.20

2024-07-23 06:47:20 +02: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

…

gappalib

pkgs/development: remove unused arguments

2024-08-03 17:18:20 +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

coq-elpi: 2.0.1 -> 2.2.0 (#323590 )

2024-07-01 08:04:15 +02:00

high-school-geometry

coqPackages.high-school-geometry: init at 8.16

2024-07-24 23:57:23 +08:00

HoTT

treewide: Remove the definite article from meta.description

2024-06-09 23:08:46 +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

treewide: Remove the definite article from meta.description

2024-06-09 23:08:46 +02:00

iris-named-props

…

itauto

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +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: init at 0.1.3

2024-08-26 12:02:42 +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

coq-elpi: 2.0.1 -> 2.2.0 (#323590 )

2024-07-01 08:04:15 +02: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

coq-elpi: 2.0.1 -> 2.2.0 (#323590 )

2024-07-01 08:04:15 +02: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

pkgs/development: remove unused arguments

2024-08-03 17:18:20 +02:00

metalib

…

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

coq_8_20: init at 8.20+rc1 (#323105 )

2024-06-28 15:47:38 +02:00

pocklington

…

QuickChick

coqPackages.QuickChick: remove with statements

2024-08-18 06:31:15 -07:00

reglang

reglang 1.2.1 compiles with Coq 8.20

2024-08-01 10:11:13 +02:00

relation-algebra

…

rewriter

coqPackages.rewriter: init at 0.0.11

2024-08-28 14:39:54 +02:00

semantics

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +02:00

serapi

coqPackages.serapi: remove with statements

2024-08-18 06:31:15 -07:00

simple-io

coqPackages: Enable override with dev branches (#329356 )

2024-07-23 11:49:28 +02: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

…

stalmarck

coqPackages.stalmarck: init at 8.20.0

2024-08-07 12:15:20 +02:00

stdpp

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +02: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

vcfloat

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +02:00

Velisarios

…

Verdi

…

Vpl

…

VplTactic

treewide: Remove indefinite article from meta.description

2024-06-09 23:07:45 +02:00

vscoq-language-server

pkgs/development: remove unused arguments

2024-08-03 17:18:20 +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