nixpkgs

aac-tactics

…

addition-chains

…

async-test

…

atbr

…

autosubst

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

autosubst-ocaml

…

bbv

…

bignums

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

category-theory

…

ceres

…

Cheerios

…

coinduction

…

CoLoR

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

compcert

…

contribs

…

coq-bits

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

coq-elpi

coqPackages.coq-elpi: expose version 2.3.0

2025-05-09 00:08:20 +02:00

coq-hammer

coqPackages_8_20.coq-hammer: init at v1.3.2

2025-04-22 09:58:04 -04:00

coq-haskell

…

coq-lsp

…

coq-matrix

…

coq-record-update

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

coq-tactical

…

coqeal

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

coqhammer

…

coqide

…

coqprime

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

coqtail-math

…

coquelicot

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

coqutil

…

corn

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

deriving

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

dpdgraph

…

ElmExtraction

…

equations

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

ExtLib

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

extructures

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

flocq

…

fourcolor

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

gaia

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

gaia-hydras

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

gappalib

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

goedel

…

graph-theory

…

heq

…

hierarchy-builder

coqPackages.hierarchy-builder: 1.8.1 -> 1.9.1

2025-05-05 15:16:10 +02:00

high-school-geometry

…

HoTT

…

http

…

hydra-battles

…

InfSeqExt

…

interval

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

iris

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

iris-named-props

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

itauto

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

ITree

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

itree-io

…

jasmin

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

json

…

lemma-overloading

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

LibHyps

…

ltac2

…

math-classes

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

mathcomp

coqPackages.mathcomp-boot: init at master (future 2.5.0)

2025-05-05 15:16:10 +02:00

mathcomp-abel

…

mathcomp-algebra-tactics

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

mathcomp-analysis

coqPackages.mathcomp-boot: init at master (future 2.5.0)

2025-05-05 15:16:10 +02:00

mathcomp-apery

…

mathcomp-bigenough

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

mathcomp-finmap

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

mathcomp-infotheo

…

mathcomp-real-closed

…

mathcomp-tarjan

…

mathcomp-word

…

mathcomp-zify

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

MenhirLib

…

metacoq

…

metalib

…

mtac2

…

multinomials

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

odd-order

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

Ordinal

…

paco

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

paramcoq

…

parsec

…

pocklington

…

QuickChick

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

reglang

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

relation-algebra

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

rewriter

…

RustExtraction

…

semantics

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

serapi

…

simple-io

…

smpl

…

smtcoq

treewide: remove unused arguments

2025-03-13 18:00:11 +01:00

ssprove

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

2025-05-05 15:16:10 +02:00

stalmarck

…

stdlib

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

stdpp

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

StructTact

…

tlc

…

topology

treewide: remove unused rec expressions

2025-03-14 05:15:05 +01:00

trakt

…

unicoq

…

vcfloat

…

Velisarios

…

Verdi

…

Vpl

treewide: fix some more sourceRoots

2025-03-20 11:50:00 +00:00

VplTactic

…

vscoq-language-server

treewide: Format all Nix files

2025-04-01 20:10:43 +02:00

VST

…

waterproof

…

zorns-lemma

…