nixpkgs/pkgs/development/coq-modules/ at 93f822b60ea3a66d66a01b2bc992c81b4a82ffdd · pyrox.dev/nixpkgs

Cheerios

coqPackages.*: 9.0 -> 9.1

5 months ago

CoLoR

coqPackages.*: 9.0 -> 9.1

5 months ago

ElmExtraction

treewide: conform descriptions to the standards

5 months ago

ExtLib

coqPackages.*: 9.0 -> 9.1

5 months ago

HoTT

coqPackages.HoTT: 8.20 -> 9.0

7 months ago

ITree

coqPackages.*: 9.0 -> 9.1

5 months ago

InfSeqExt

coqPackages.*: 9.0 -> 9.1

5 months ago

LibHyps

treewide: format all inactive Nix files

1 year ago

MenhirLib

ocamlPackages.menhir: 20240715 → 20250903

3 months ago

Ordinal

coqPackages.Ordinal: 0.5.3 -> 0.5.4

11 months ago

QuickChick

treewide: run nixfmt 1.0.0

5 months ago

RustExtraction

treewide: conform descriptions to the standards

5 months ago

StructTact

coqPackages.*: 9.0 -> 9.1

5 months ago

VST

treewide: run nixfmt 1.0.0

5 months ago

Velisarios

treewide: format all inactive Nix files

1 year ago

Verdi

treewide: format all inactive Nix files

1 year ago

Vpl

treewide: fix some more `sourceRoot`s

9 months ago

VplTactic

treewide: format all inactive Nix files

1 year ago

aac-tactics

Add coqPackages.stdlib

1 year ago

addition-chains

treewide: format all inactive Nix files

1 year ago

async-test

treewide: strip trailing punctuation from description strings

5 months ago

atbr

Add coqPackages.stdlib

1 year ago

autosubst

coqPackages.*: 9.0 -> 9.1

5 months ago

autosubst-ocaml

coqPackages.autosubst-ocaml: 1.1+8.20 -> 1.1+9.0 (#443607)

3 months ago

bbv

treewide: conform descriptions to the standards

5 months ago

bignums

coqPackages: fix Rocq shim for Coq >= 9

5 months ago

category-theory

treewide: format all inactive Nix files

1 year ago

ceres

coqPackages.*: 9.0 -> 9.1

5 months ago

coinduction

treewide: conform descriptions to the standards

5 months ago

compcert

compcert: enable for Coq 9.0.1

2 months ago

contribs

treewide: format all inactive Nix files

1 year ago

coq-bits

treewide: Format all Nix files

9 months ago

coq-elpi

coqPackages: fix Rocq shim for Coq >= 9

5 months ago

coq-hammer

coqPackages_8_20.coq-hammer: init at v1.3.2

8 months ago

coq-haskell

treewide: format all inactive Nix files

1 year ago

coq-lsp

coqPackages.coq-lsp: 0.2.3 → 0.2.4

3 months ago

coq-matrix

Add coq Matrix package 8.18 (#373307)

9 months ago

coq-record-update

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

3 months ago

coq-tactical

coqPackages.coq-tactical: init at unstable-2022-02-15

1 year ago

coqeal

coqPackages.*: 9.0 -> 9.1

5 months ago

coqfmt

treewide: conform descriptions to the standards

5 months ago

coqhammer

treewide: format all inactive Nix files

1 year ago

coqide

coq_9_0: init at 9.0+rc1

11 months ago

coqprime

treewide: Format all Nix files

9 months ago

coqtail-math

treewide: format all inactive Nix files

1 year ago

coquelicot

coqPackages.Ordinal: 0.5.3 -> 0.5.4 (#371685)

5 months ago

coqutil

treewide: format all inactive Nix files

1 year ago

corn

treewide: Format all Nix files

9 months ago

deriving

coqPackages.*: 9.0 -> 9.1

5 months ago

dpdgraph

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

3 months ago

equations

coqPackages.*: better formatting fix

6 months ago

extructures

coqPackages.*: 9.0 -> 9.1

5 months ago

fcsl-pcm

coqPackages.Ordinal: 0.5.3 -> 0.5.4 (#371685)

5 months ago

flocq

coqPackages.Ordinal: 0.5.3 -> 0.5.4 (#371685)

5 months ago

fourcolor

coqPackages.*: fix formatting fix

6 months ago

gaia

coqPackages.*: 9.0 -> 9.1

5 months ago

gaia-hydras

rocq-core: 9.0+rc1 -> 9.0.0 (#389454)

9 months ago

gappalib

treewide: Format all Nix files

9 months ago

goedel

treewide: format all inactive Nix files

1 year ago

graph-theory

coqPackages.*: fix formatting fix

6 months ago

heq

treewide: format all inactive Nix files

1 year ago

hierarchy-builder

coqPackages: fix Rocq shim for Coq >= 9

5 months ago

high-school-geometry

treewide: format all inactive Nix files

1 year ago

http

coqPackages.*: better formatting fix

6 months ago

hydra-battles

treewide: run nixfmt 1.0.0

5 months ago

interval

coqPackages.interval: 4.11.2 -> 4.11.3

4 months ago

iris

coqPackages.iris: 4.3.0 -> 4.4.0

5 months ago

iris-named-props

rocq-core: 9.0+rc1 -> 9.0.0 (#389454)

9 months ago

itauto

coqPackages.*: better formatting fix

6 months ago

itree-io

treewide: strip trailing punctuation from description strings

5 months ago

jasmin

coqPackages.jasmin: 2025.02.0 → 2025.06.1

3 months ago

json

treewide: strip trailing punctuation from description strings

5 months ago

lemma-overloading

rocq-core: 9.0+rc1 -> 9.0.0 (#389454)

9 months ago

ltac2

treewide: format all inactive Nix files

1 year ago

math-classes

treewide: Format all Nix files

9 months ago

mathcomp

treewide: run nixfmt 1.0.0

5 months ago

mathcomp-abel

coqPackages.*: fix formatting fix

6 months ago

mathcomp-algebra-tactics

rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0

3 months ago

mathcomp-analysis

coqPackages.*: 9.0 -> 9.1

5 months ago

mathcomp-apery

coqPackages.*: fix formatting fix

6 months ago

mathcomp-bigenough

coqPackages.*: 9.0 -> 9.1

5 months ago

mathcomp-finmap

coqPackages.*: 9.0 -> 9.1

5 months ago

mathcomp-infotheo

coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0

5 months ago

mathcomp-real-closed

coqPackages.*: 9.0 -> 9.1

5 months ago

mathcomp-tarjan

coqPackages.*: 9.0 -> 9.1

5 months ago

mathcomp-word

coqPackages.*: 9.0 -> 9.1

5 months ago

mathcomp-zify

coqPackages.*: 9.0 -> 9.1

5 months ago

metacoq

treewide: run nixfmt 1.0.0

5 months ago

metalib

treewide: format all inactive Nix files

1 year ago

metarocq

treewide: run nixfmt 1.0.0

5 months ago

mtac2

treewide: format all inactive Nix files

1 year ago

multinomials

coqPackages.*: 9.0 -> 9.1

5 months ago

odd-order

coqPackages.*: fix formatting fix

6 months ago

paco

coqPackages.*: 9.0 -> 9.1

5 months ago

paramcoq

treewide: format all inactive Nix files

1 year ago

parsec

coqPackages.*: 9.0 -> 9.1

5 months ago

parseque

coqPackages: fix Rocq shim for Coq >= 9

5 months ago

pocklington

treewide: format all inactive Nix files

1 year ago

reglang

coqPackages.*: 9.0 -> 9.1

5 months ago

relation-algebra

coqPackages.*: better formatting fix

6 months ago

rewriter

Add coqPackages.stdlib

1 year ago

semantics

rocq-core: 9.0+rc1 -> 9.0.0 (#389454)

9 months ago

serapi

treewide: format all inactive Nix files

1 year ago

simple-io

treewide: run nixfmt 1.0.0

5 months ago

smpl

treewide: format all inactive Nix files

1 year ago

smtcoq

treewide: run nixfmt 1.0.0

5 months ago

ssprove

coqPackages.*: fix formatting fix

6 months ago

stalmarck

coqPackages.*: better formatting fix

6 months ago

stdlib

coqPackages: fix Rocq shim for Coq >= 9

5 months ago

stdpp

coqPackages.stdpp : 1.11.0 -> 1.12.0

5 months ago

tlc

Add coqPackages.stdlib

1 year ago

topology

rocq-core: 9.0+rc1 -> 9.0.0 (#389454)

9 months ago

trakt

coqPackages.trakt: add stdlib dependency

5 months ago

unicoq

treewide: conform descriptions to the standards

5 months ago

validsdp

coqPackages.validsdp: init at 1.1.0

2 years ago

vcfloat

coqPackages.vcfloat: 2.2 -> 2.3

10 months ago

vscoq-language-server

treewide: run nixfmt 1.0.0

5 months ago

wasmcert

coqPackages.wasmcert: release 2.2.0

4 months ago

waterproof

Add coqPackages.stdlib

1 year ago

zorns-lemma

treewide: format all inactive Nix files

1 year ago