nixpkgs/pkgs/development/coq-modules/ at r-updates · tjh.dev/nixpkgs

Cheerios

coqPackages.*: 9.0 -> 9.1

6 months ago

CoLoR

coqPackages.*: 9.0 -> 9.1

6 months ago

ElmExtraction

treewide: conform descriptions to the standards

6 months ago

ExtLib

coqPackages.*: 9.0 -> 9.1

6 months ago

HoTT

coqPackages.HoTT: 8.20 -> 9.0

8 months ago

ITree

coqPackages.*: 9.0 -> 9.1

6 months ago

InfSeqExt

coqPackages.*: 9.0 -> 9.1

6 months ago

LibHyps

treewide: format all inactive Nix files

1 year ago

MenhirLib

treewide: conform descriptions to the standards

6 months ago

Ordinal

coqPackages.Ordinal: 0.5.3 -> 0.5.4

1 year ago

QuickChick

treewide: run nixfmt 1.0.0

6 months ago

RustExtraction

treewide: conform descriptions to the standards

6 months ago

StructTact

coqPackages.*: 9.0 -> 9.1

6 months ago

VST

treewide: run nixfmt 1.0.0

6 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

10 months ago

VplTactic

treewide: format all inactive Nix files

1 year ago

aac-tactics

Add coqPackages.stdlib

2 years ago

addition-chains

treewide: format all inactive Nix files

1 year ago

async-test

treewide: strip trailing punctuation from description strings

6 months ago

atbr

Add coqPackages.stdlib

2 years ago

autosubst

coqPackages.*: 9.0 -> 9.1

6 months ago

autosubst-ocaml

treewide: conform descriptions to the standards

6 months ago

bbv

treewide: conform descriptions to the standards

6 months ago

bignums

coqPackages: fix Rocq shim for Coq >= 9

6 months ago

category-theory

treewide: format all inactive Nix files

1 year ago

ceres

coqPackages.*: 9.0 -> 9.1

6 months ago

coinduction

treewide: conform descriptions to the standards

6 months ago

compcert

coq: 8.20.0 -> 8.20.1 (#374488)

1 year 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

6 months ago

coq-hammer

coqPackages_8_20.coq-hammer: init at v1.3.2

9 months ago

coq-haskell

treewide: format all inactive Nix files

1 year ago

coq-lsp

coq-lsp: 0.2.2 -> 0.2.3 (#415541)

7 months ago

coq-matrix

Add coq Matrix package 8.18 (#373307)

10 months ago

coq-record-update

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

6 months ago

coq-tactical

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

1 year ago

coqeal

coqPackages.*: 9.0 -> 9.1

6 months ago

coqfmt

treewide: conform descriptions to the standards

6 months ago

coqhammer

treewide: format all inactive Nix files

1 year ago

coqide

coq_9_0: init at 9.0+rc1

1 year 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)

6 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

6 months ago

dpdgraph

coqPackages.*: better formatting fix

6 months ago

equations

coqPackages.*: better formatting fix

6 months ago

extructures

coqPackages.*: 9.0 -> 9.1

6 months ago

fcsl-pcm

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

6 months ago

flocq

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

6 months ago

fourcolor

coqPackages.*: fix formatting fix

6 months ago

gaia

coqPackages.*: 9.0 -> 9.1

6 months ago

gaia-hydras

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

10 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

6 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

6 months ago

interval

coqPackages.interval: 4.11.2 -> 4.11.3

5 months ago

iris

coqPackages.*: 9.0 -> 9.1

6 months ago

iris-named-props

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

10 months ago

itauto

coqPackages.*: better formatting fix

6 months ago

itree-io

treewide: strip trailing punctuation from description strings

6 months ago

jasmin

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

6 months ago

json

treewide: strip trailing punctuation from description strings

6 months ago

lemma-overloading

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

10 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

6 months ago

mathcomp-abel

coqPackages.*: fix formatting fix

6 months ago

mathcomp-algebra-tactics

ocamlPackages.elpi: 2.0.7 -> 3.0.1

5 months ago

mathcomp-analysis

coqPackages.*: 9.0 -> 9.1

6 months ago

mathcomp-apery

coqPackages.*: fix formatting fix

6 months ago

mathcomp-bigenough

coqPackages.*: 9.0 -> 9.1

6 months ago

mathcomp-finmap

coqPackages.*: 9.0 -> 9.1

6 months ago

mathcomp-infotheo

coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0

6 months ago

mathcomp-real-closed

coqPackages.*: 9.0 -> 9.1

6 months ago

mathcomp-tarjan

coqPackages.*: 9.0 -> 9.1

6 months ago

mathcomp-word

coqPackages.*: 9.0 -> 9.1

6 months ago

mathcomp-zify

coqPackages.*: 9.0 -> 9.1

6 months ago

metacoq

treewide: run nixfmt 1.0.0

6 months ago

metalib

treewide: format all inactive Nix files

1 year ago

metarocq

treewide: run nixfmt 1.0.0

6 months ago

mtac2

treewide: format all inactive Nix files

1 year ago

multinomials

coqPackages.*: 9.0 -> 9.1

6 months ago

odd-order

coqPackages.*: fix formatting fix

6 months ago

paco

coqPackages.*: 9.0 -> 9.1

6 months ago

paramcoq

treewide: format all inactive Nix files

1 year ago

parsec

coqPackages.*: 9.0 -> 9.1

6 months ago

parseque

coqPackages: fix Rocq shim for Coq >= 9

6 months ago

pocklington

treewide: format all inactive Nix files

1 year ago

reglang

coqPackages.*: 9.0 -> 9.1

6 months ago

relation-algebra

coqPackages.*: better formatting fix

6 months ago

rewriter

Add coqPackages.stdlib

2 years ago

semantics

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

10 months ago

serapi

treewide: format all inactive Nix files

1 year ago

simple-io

treewide: run nixfmt 1.0.0

6 months ago

smpl

treewide: format all inactive Nix files

1 year ago

smtcoq

treewide: run nixfmt 1.0.0

6 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

6 months ago

stdpp

coqPackages.*: 9.0 -> 9.1

6 months ago

tlc

Add coqPackages.stdlib

2 years ago

topology

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

10 months ago

trakt

coqPackages.trakt: add stdlib dependency

6 months ago

unicoq

treewide: conform descriptions to the standards

6 months ago

vcfloat

coqPackages.vcfloat: 2.2 -> 2.3

11 months ago

vscoq-language-server

treewide: run nixfmt 1.0.0

6 months ago

wasmcert

coqPackages.wasmcert: init at 2.1.0

6 months ago

waterproof

Add coqPackages.stdlib

2 years ago

zorns-lemma

treewide: format all inactive Nix files

1 year ago