nixpkgs

aac-tactics

coq_8_20: init at 8.20+rc1 (#323105 )

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

addition-chains

…

autosubst

…

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

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.19.2

2024-06-17 09:15:12 +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

coqPackages.coq-hammer: init at 1.3.2

2024-06-27 07:09:32 +02:00

coq-haskell

treewide: Remove indefinite article from meta.description

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

coq-lsp

…

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

…

coqide

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

2024-07-01 08:26:46 +02:00

coqprime

coq_8_20: init at 8.20+rc1 (#323105 )

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

coqtail-math

…

coquelicot

treewide: Remove indefinite article from meta.description

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

treewide: Remove indefinite article from meta.description

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

treewide: Remove indefinite article from meta.description

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

fourcolor

…

gaia

…

gaia-hydras

…

gappalib

…

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

HoTT

treewide: Remove the definite article from meta.description

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

hydra-battles

…

InfSeqExt

coq_8_20: init at 8.20+rc1 (#323105 )

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

interval

…

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

coq_8_20: init at 8.20+rc1 (#323105 )

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

LibHyps

coq_8_20: init at 8.20+rc1 (#323105 )

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

ltac2

treewide: Remove indefinite article from meta.description

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

math-classes

coq_8_20: init at 8.20+rc1 (#323105 )

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

mathcomp

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

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

mathcomp-abel

…

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

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

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

mathcomp-zify

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

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

metacoq

coqPackages.metacoq: avoid top-level with ...;

2024-06-25 09:03:43 -07:00

metalib

…

multinomials

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

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

…

reglang

coq_8_20: init at 8.20+rc1 (#323105 )

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

relation-algebra

…

semantics

treewide: Remove indefinite article from meta.description

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

serapi

…

simple-io

…

smpl

treewide: Remove indefinite article from meta.description

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

smtcoq

coqPackages.smtcoq: 2.1 → 2.2

2024-07-03 18:49:22 +02:00

ssprove

…

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

treewide: Remove indefinite article from meta.description

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

topology

…

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

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

2024-07-01 08:26:46 +02:00

VST

compcert: add support for Coq 8.19.2

2024-06-17 09:15:12 +02:00

zorns-lemma

coq_8_20: init at 8.20+rc1 (#323105 )

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