nixpkgs/pkgs/development/coq-modules/ at 25.11-pre

Cheerios

coq_9_0: init at 9.0+rc1

1 year ago

CoLoR

treewide: Format all Nix files

11 months ago

ElmExtraction

coqPackages.metacoq: 1.3.4-8.20 -> 1.3.4-9.0

1 year ago

ExtLib

treewide: Format all Nix files

11 months ago

HoTT

coqPackages.HoTT: 8.20 -> 9.0

9 months ago

ITree

treewide: Format all Nix files

11 months ago

InfSeqExt

coq_9_0: init at 9.0+rc1

1 year ago

LibHyps

treewide: format all inactive Nix files

1 year ago

MenhirLib

coq_9_0: init at 9.0+rc1

1 year ago

Ordinal

coqPackages.Ordinal: init at 0.5.3

2 years ago

QuickChick

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

10 months ago

RustExtraction

coqPackages.metacoq: 1.3.2 → 1.3.4

1 year ago

StructTact

coq_9_0: init at 9.0+rc1

1 year ago

VST

coqPackages.VST: 2.14 -> 2.15

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

11 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: format all inactive Nix files

1 year ago

atbr

Add coqPackages.stdlib

2 years ago

autosubst

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

10 months ago

autosubst-ocaml

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

1 year ago

bbv

Add coqPackages.stdlib

2 years ago

bignums

treewide: Format all Nix files

11 months ago

category-theory

treewide: format all inactive Nix files

1 year ago

ceres

coq_9_0: init at 9.0+rc1

1 year ago

coinduction

Add coqPackages.stdlib

2 years 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

11 months ago

coq-elpi

coqPackages.coq-elpi: expose version 2.3.0

9 months ago

coq-hammer

coqPackages_8_20.coq-hammer: init at v1.3.2

10 months ago

coq-haskell

treewide: format all inactive Nix files

1 year ago

coq-lsp

treewide: format all inactive Nix files

1 year ago

coq-matrix

Add coq Matrix package 8.18 (#373307)

1 year ago

coq-record-update

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

11 months ago

coq-tactical

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

1 year ago

coqeal

coqPackages.mathcomp: 2.3.0 -> 2.4.0

10 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

11 months ago

coqtail-math

treewide: format all inactive Nix files

1 year ago

coquelicot

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

10 months ago

coqutil

treewide: format all inactive Nix files

1 year ago

corn

treewide: Format all Nix files

11 months ago

deriving

coqPackages.deriving: 0.2.1 -> 0.2.2

10 months ago

dpdgraph

treewide: format all inactive Nix files

1 year ago

equations

treewide: Format all Nix files

11 months ago

extructures

coqPackages.deriving: 0.2.1 -> 0.2.2

10 months ago

flocq

coqPackages.flocq: 4.2.0 -> 4.2.1

1 year ago

fourcolor

coqPackages.fourcolor: 1.4.0 -> 1.4.1

10 months ago

gaia

coqPackages.gaia: 2.2 -> 2.3

10 months ago

gaia-hydras

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

11 months ago

gappalib

treewide: Format all Nix files

11 months ago

goedel

treewide: format all inactive Nix files

1 year ago

graph-theory

coqPackages.graph-theory: 0.9.4 -> 0.9.6

10 months ago

heq

treewide: format all inactive Nix files

1 year ago

hierarchy-builder

coqPackages.hierarchy-builder: 1.8.1 -> 1.9.1

10 months ago

high-school-geometry

treewide: format all inactive Nix files

1 year ago

http

treewide: format all inactive Nix files

1 year ago

hydra-battles

treewide: format all inactive Nix files

1 year ago

interval

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

10 months ago

iris

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

11 months ago

iris-named-props

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

11 months ago

itauto

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

11 months ago

itree-io

treewide: format all inactive Nix files

1 year ago

jasmin

coqPackages.mathcomp: 2.3.0 -> 2.4.0

10 months ago

json

coq_9_0: init at 9.0+rc1

1 year ago

lemma-overloading

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

11 months ago

ltac2

treewide: format all inactive Nix files

1 year ago

math-classes

treewide: Format all Nix files

11 months ago

mathcomp

coqPackages.mathcomp: 2.3.0 -> 2.4.0

10 months ago

mathcomp-abel

treewide: format all inactive Nix files

1 year ago

mathcomp-algebra-tactics

coqPackages.mathcomp-algebra-tactics: 1.2.4 -> 1.2.5

9 months ago

mathcomp-analysis

coqPackages.mathcomp-analysis: 1.9.0 -> 1.11.0

10 months ago

mathcomp-apery

treewide: format all inactive Nix files

1 year ago

mathcomp-bigenough

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

10 months ago

mathcomp-finmap

coqPackages.finmap: 2.1.0 -> 2.2.0

10 months ago

mathcomp-infotheo

coqPackages.mathcomp-infotheo: 0.9.1 -> 0.9.3

9 months ago

mathcomp-real-closed

coqPackages.mathcomp-real-closed: 2.0.2 -> 2.0.3

10 months ago

mathcomp-tarjan

coqPackages.mathcomp-tarjan: 1.0.2 -> 1.0.3

9 months ago

mathcomp-word

coqPackages.mathcomp*: update stdlib dependencies

1 year ago

mathcomp-zify

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

10 months ago

metacoq

treewide: fix typos in comments (#384334)

1 year ago

metalib

treewide: format all inactive Nix files

1 year ago

metarocq

coqPackages.metacoq: 1.3.4 -> 1.4

9 months ago

mtac2

treewide: format all inactive Nix files

1 year ago

multinomials

coqPackages.multinomials: 2.3.0 -> 2.4.0

10 months ago

odd-order

coqPackages.odd-order: 2.1.0 -> 2.2.0

10 months ago

paco

treewide: Format all Nix files

11 months ago

paramcoq

treewide: format all inactive Nix files

1 year ago

parsec

coq_9_0: init at 9.0+rc1

1 year ago

pocklington

treewide: format all inactive Nix files

1 year ago

reglang

coqPackages.reglang: 1.2.1 -> 1.2.2

10 months ago

relation-algebra

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

10 months ago

rewriter

Add coqPackages.stdlib

2 years ago

semantics

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

11 months ago

serapi

treewide: format all inactive Nix files

1 year ago

simple-io

coq_9_0: init at 9.0+rc1

1 year ago

smpl

treewide: format all inactive Nix files

1 year ago

smtcoq

treewide: remove unused arguments

11 months ago

ssprove

coqPackages.ssprove: 0.2.3 -> 0.2.4

10 months ago

stalmarck

Add coqPackages.stdlib

2 years ago

stdlib

treewide: Format all Nix files

11 months ago

stdpp

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

11 months ago

tlc

Add coqPackages.stdlib

2 years ago

topology

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

11 months ago

trakt

treewide: format all inactive Nix files

1 year ago

unicoq

treewide: format all inactive Nix files

1 year ago

vcfloat

coqPackages.vcfloat: 2.2 -> 2.3

1 year ago

vscoq-language-server

coqPackages.vscoq-language-server: 2.2.1 -> 2.2.5

10 months ago

waterproof

Add coqPackages.stdlib

2 years ago

zorns-lemma

treewide: format all inactive Nix files

1 year ago