nixpkgs

aac-tactics

treewide: remove unused with

2025-10-05 10:50:41 +02:00

addition-chains

…

async-test

treewide: strip trailing punctuation from description strings

2025-07-22 19:09:42 +00:00

atbr

…

autosubst

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

autosubst-ocaml

coqPackages.autosubst-ocaml: 1.1+8.20 -> 1.1+9.0

2025-09-19 00:26:15 -04:00

bbv

treewide: conform descriptions to the standards

2025-07-22 22:07:20 +00:00

bignums

coqPackages: fix Rocq shim for Coq >= 9

2025-07-17 15:59:09 +02:00

category-theory

…

ceres

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

Cheerios

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

coinduction

treewide: conform descriptions to the standards

2025-07-28 04:39:00 +00:00

CoLoR

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

compcert

compcert: enable for Coq 9.0.1

2025-09-29 13:45:41 +02:00

contribs

…

coq-bits

…

coq-elpi

coqPackages: fix Rocq shim for Coq >= 9

2025-07-17 15:59:09 +02:00

coq-hammer

coqPackages.coq-hammer: enable for Coq 9.0

2025-10-08 13:22:47 +02:00

coq-haskell

…

coq-lsp

coqPackages.coq-lsp: 0.2.3 → 0.2.4

2025-09-23 11:58:58 +02:00

coq-matrix

…

coq-record-update

coqPackages.coq-record-update: 0.3.5 -> 0.3.6

2025-09-08 16:36:31 +02:00

coq-tactical

…

coqeal

coqPackages.coqeal: 2.1.0 -> 2.1.1

2025-10-09 16:41:06 +02:00

coqfmt

treewide: conform descriptions to the standards

2025-07-22 22:07:20 +00:00

coqhammer

treewide: remove unused with

2025-10-05 10:50:41 +02:00

coqide

…

coqprime

…

coqtail-math

…

coquelicot

coqPackages.*: more 9.0 -> 9.1

2025-07-09 15:02:00 +02:00

coqutil

coqPackages.coqutil: 0.0.6 -> 0.0.7

2025-10-07 21:18:35 +02:00

corn

…

deriving

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

dpdgraph

coqPackages.dpdgraph: 1.0+8.20 -> 1.0+9.0

2025-09-03 11:26:09 +02:00

ElmExtraction

treewide: conform descriptions to the standards

2025-07-28 04:39:00 +00:00

equations

coqPackages.*: better formatting fix

2025-06-30 10:10:31 +02:00

ExtLib

treewide: remove redundant parentheses

2025-10-05 10:52:03 +02:00

extructures

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

fcsl-pcm

coqPackages.*: more 9.0 -> 9.1

2025-07-09 15:02:00 +02:00

flocq

coqPackages.*: more 9.0 -> 9.1

2025-07-09 15:02:00 +02:00

fourcolor

coqPackages.*: fix formatting fix

2025-06-30 13:33:02 +02:00

gaia

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

gaia-hydras

…

gappalib

…

goedel

…

graph-theory

coqPackages.*: fix formatting fix

2025-06-30 13:33:02 +02:00

heq

…

hierarchy-builder

coqPackages: fix Rocq shim for Coq >= 9

2025-07-17 15:59:09 +02:00

high-school-geometry

…

HoTT

…

http

coqPackages.*: better formatting fix

2025-06-30 10:10:31 +02:00

hydra-battles

treewide: run nixfmt 1.0.0

2025-07-24 13:55:40 +02:00

InfSeqExt

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

interval

coqPackages.interval: 4.11.2 -> 4.11.3

2025-08-04 10:36:46 +02:00

iris

coqPackages.iris: 4.3.0 -> 4.4.0

2025-08-29 11:00:54 +02:00

iris-named-props

…

itauto

coqPackages.*: better formatting fix

2025-06-30 10:10:31 +02:00

ITree

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

itree-io

treewide: strip trailing punctuation from description strings

2025-07-22 19:09:42 +00:00

jasmin

coqPackages.jasmin: 2025.02.0 → 2025.06.1

2025-09-16 21:42:08 +02:00

json

treewide: strip trailing punctuation from description strings

2025-07-22 19:09:42 +00:00

lemma-overloading

…

LibHyps

…

ltac2

treewide: remove unused with

2025-10-05 10:50:41 +02:00

math-classes

…

mathcomp

treewide: run nixfmt 1.0.0

2025-07-24 13:55:40 +02:00

mathcomp-abel

coqPackages.*: fix formatting fix

2025-06-30 13:33:02 +02:00

mathcomp-algebra-tactics

rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0

2025-09-08 07:00:31 +02:00

mathcomp-analysis

treewide: remove redundant parentheses

2025-10-05 10:52:03 +02:00

mathcomp-apery

coqPackages.*: fix formatting fix

2025-06-30 13:33:02 +02:00

mathcomp-bigenough

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

mathcomp-finmap

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

mathcomp-infotheo

coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0

2025-07-08 08:35:30 +02:00

mathcomp-real-closed

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

mathcomp-tarjan

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

mathcomp-word

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

mathcomp-zify

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

MenhirLib

ocamlPackages.menhir: 20240715 → 20250903

2025-09-09 20:49:44 +02:00

metacoq

treewide: run nixfmt 1.0.0

2025-07-24 13:55:40 +02:00

metalib

…

metarocq

treewide: remove redundant parentheses

2025-10-05 10:52:03 +02:00

mtac2

…

multinomials

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

odd-order

coqPackages.*: fix formatting fix

2025-06-30 13:33:02 +02:00

Ordinal

…

paco

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

paramcoq

…

parsec

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

parseque

coqPackages: fix Rocq shim for Coq >= 9

2025-07-17 15:59:09 +02:00

pocklington

…

QuickChick

treewide: run nixfmt 1.0.0

2025-07-24 13:55:40 +02:00

reglang

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

relation-algebra

coqPackages.*: better formatting fix

2025-06-30 10:10:31 +02:00

rewriter

…

RustExtraction

treewide: conform descriptions to the standards

2025-07-28 04:39:00 +00:00

semantics

…

serapi

…

simple-io

treewide: run nixfmt 1.0.0

2025-07-24 13:55:40 +02:00

smpl

…

smtcoq

treewide: run nixfmt 1.0.0

2025-07-24 13:55:40 +02:00

ssprove

coqPackages.*: fix formatting fix

2025-06-30 13:33:02 +02:00

stalmarck

coqPackages.*: better formatting fix

2025-06-30 10:10:31 +02:00

stdlib

coqPackages: fix Rocq shim for Coq >= 9

2025-07-17 15:59:09 +02:00

stdpp

coqPackages.stdpp : 1.11.0 -> 1.12.0

2025-08-29 11:00:54 +02:00

StructTact

coqPackages.*: 9.0 -> 9.1

2025-07-09 07:27:19 +02:00

tlc

…

topology

…

trakt

coqPackages.trakt: add stdlib dependency

2025-07-17 15:59:09 +02:00

unicoq

treewide: conform descriptions to the standards

2025-07-28 04:39:00 +00:00

validsdp

treewide: remove redundant parentheses

2025-10-05 10:52:03 +02:00

vcfloat

…

Velisarios

…

Verdi

…

Vpl

…

VplTactic

…

vscoq-language-server

treewide: remove redundant parentheses

2025-10-05 10:52:03 +02:00

VST

treewide: run nixfmt 1.0.0

2025-07-24 13:55:40 +02:00

wasmcert

coqPackages.wasmcert: release 2.2.0

2025-08-27 16:48:40 +02:00

waterproof

…

zorns-lemma

…