nixpkgs

aac-tactics

coqPackages.aac-tactics: 8.19.0 → 8.19.1

2024-06-04 16:22:00 +02:00

addition-chains

…

autosubst

…

bignums

…

category-theory

treewide: Remove indefinite article from meta.description

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

ceres

…

Cheerios

…

CoLoR

treewide: Remove ending period from meta.description

2024-06-09 23:04:51 +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

treewide: Remove ending period from meta.description

2024-06-09 23:04:51 +02:00

coq-ext-lib

treewide: Remove indefinite article from meta.description

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

2024-05-31 17:51:29 +02:00

coq-record-update

coqPackages.coq-record-update: 0.3.3 -> 0.3.4

2024-05-06 14:15:24 +02:00

coqeal

…

coqhammer

…

coqide

treewide: Remove the definite article from meta.description

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

coqprime

…

coqtail-math

…

coquelicot

treewide: Remove indefinite article from meta.description

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

corn

treewide: Remove indefinite article from meta.description

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

deriving

…

dpdgraph

coqPackages_8_19.dpdgraph: init at 1.0+8.19

2024-03-28 06:24:51 +01:00

equations

treewide: Remove indefinite article from meta.description

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

extructures

…

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

coqPackages.gappalib: 1.5.4 → 1.5.5

2024-04-02 22:41:01 +02:00

goedel

treewide: Remove the definite article from meta.description

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

graph-theory

coqPackages.graph-theory: 0.9.3 → 0.9.4

2024-05-24 06:09:40 +02:00

heq

…

hierarchy-builder

…

HoTT

treewide: Remove the definite article from meta.description

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

hydra-battles

…

InfSeqExt

…

interval

coqPackages.interval: 4.9.0 → 4.10.0

2024-04-02 22:41:01 +02:00

iris

treewide: Remove the definite article from meta.description

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

iris-named-props

coqPackages.stdpp: 1.9.0 → 1.10.0

2024-04-15 10:13:00 +02:00

itauto

treewide: Remove indefinite article from meta.description

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

ITree

treewide: Remove indefinite article from meta.description

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

LibHyps

coqPackages.LibHyps: 2.0.4.1 -> 2.0.8

2024-02-27 15:46:08 +00:00

ltac2

treewide: Remove indefinite article from meta.description

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

math-classes

treewide: Remove indefinite article from meta.description

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

mathcomp

…

mathcomp-abel

…

mathcomp-algebra-tactics

…

mathcomp-analysis

coqPackages.mathcomp-analysis: 1.0.0 → 1.1.0

2024-06-10 09:08:04 +02:00

mathcomp-apery

treewide: Remove indefinite article from meta.description

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

mathcomp-bigenough

treewide: Remove indefinite article from meta.description

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

mathcomp-finmap

treewide: Remove indefinite article from meta.description

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

mathcomp-infotheo

treewide: Remove indefinite article from meta.description

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

mathcomp-real-closed

…

mathcomp-tarjan

…

mathcomp-word

coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4

2024-05-31 20:55:19 +02:00

mathcomp-zify

…

metacoq

coqPackages.metacoq: 1.2.1 → 1.3.1

2024-03-29 14:00:42 +01:00

metalib

…

multinomials

treewide: Remove indefinite article from meta.description

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

odd-order

…

paco

treewide: Remove indefinite article from meta.description

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

paramcoq

…

parsec

…

pocklington

…

QuickChick

…

reglang

…

relation-algebra

…

semantics

treewide: Remove indefinite article from meta.description

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

serapi

coq-lsp: 0.1.8 -> 0.1.9

2024-05-31 17:51:29 +02:00

simple-io

…

smpl

treewide: Remove indefinite article from meta.description

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

smtcoq

…

ssprove

coqPackages.ssprove: init at 0.2.0 (#306981 )

2024-05-03 11:32:09 +02:00

stdpp

treewide: Remove indefinite article from meta.description

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

StructTact

…

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

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

treewide: wrapGAppsHook → wrapGAppsHook3

2024-04-27 02:23:22 +02:00

VST

compcert: add support for Coq 8.19.2

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

zorns-lemma

…