nixpkgs/pkgs/development/coq-modules/ at fix-function-merge · tjh.dev/nixpkgs

Cheerios

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

CoLoR

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

HoTT

treewide: Remove the definite article from meta.description

2 years ago

ITree

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

InfSeqExt

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

LibHyps

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

QuickChick

coqPackages: Enable override with dev branches (#329356)

2 years ago

StructTact

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

VST

compcert: add support for Coq 8.19.2

2 years ago

Velisarios

treewide: remove global with lib; statements in pkgs/coq-modules

3 years ago

Verdi

Merge pull request #265738 from Artturin/patchshebangcon

2 years ago

Vpl

coqPackages.Vpl: fix meta

2 years ago

VplTactic

treewide: Remove indefinite article from meta.description

2 years ago

aac-tactics

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

addition-chains

coq_8_18: init at 8.18+rc1

2 years ago

autosubst

coq_8_18: init at 8.18+rc1

2 years ago

bignums

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

category-theory

treewide: Remove indefinite article from meta.description

2 years ago

ceres

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

compcert

coqPackages: Enable override with dev branches (#329356)

2 years ago

contribs

treewide: remove global with lib; statements in pkgs/coq-modules

3 years ago

coq-bits

treewide: Remove indefinite article from meta.description

2 years ago

coq-elpi

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

coq-ext-lib

coqPackages.coq-ext-lib: 0.12.0 → 0.12.1

2 years ago

coq-hammer

Merge pull request #330042 from Sigmanificient/remove-leading-space-description

2 years ago

coq-haskell

treewide: Remove indefinite article from meta.description

2 years ago

coq-lsp

coqPackages: Enable override with dev branches (#329356)

2 years ago

coq-record-update

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

coqeal

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

coqhammer

Warn about deprecated coqhammer

2 years ago

coqide

adwaita-icon-theme: Move from gnome scope to top-level

2 years ago

coqprime

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

coqtail-math

treewide: remove global with lib; statements in pkgs/coq-modules

3 years ago

coquelicot

treewide: Remove indefinite article from meta.description

2 years ago

corn

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

deriving

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

dpdgraph

coqPackages_8_19.dpdgraph: init at 1.0+8.19

2 years ago

equations

coqPackages.equations: 1.3.1 for Coq 8.20

2 years ago

extructures

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

fiat

treewide: Remove indefinite article from meta.description

2 years ago

flocq

treewide: Remove indefinite article from meta.description

2 years ago

fourcolor

treewide: remove trailing space in description

2 years ago

gaia

coqPackages.gaia: 1.15 → 1.17

2 years ago

gaia-hydras

Merge master into staging-next

2 years ago

gappalib

coqPackages.gappalib: 1.5.4 → 1.5.5

2 years ago

goedel

treewide: Remove the definite article from meta.description

2 years ago

graph-theory

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

heq

treewide: remove global with lib; statements in pkgs/coq-modules

3 years ago

hierarchy-builder

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

hydra-battles

Merge branch 'staging' into staging-next

2 years ago

interval

coqPackages.interval: 4.9.0 → 4.10.0

2 years ago

iris

treewide: Remove the definite article from meta.description

2 years ago

iris-named-props

coqPackages.stdpp: 1.9.0 → 1.10.0

2 years ago

itauto

treewide: Remove indefinite article from meta.description

2 years ago

ltac2

treewide: Remove indefinite article from meta.description

2 years ago

math-classes

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

mathcomp

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

mathcomp-abel

treewide: remove global with lib; statements in pkgs/coq-modules

3 years ago

mathcomp-algebra-tactics

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

mathcomp-analysis

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

mathcomp-apery

treewide: Remove indefinite article from meta.description

2 years ago

mathcomp-bigenough

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

mathcomp-finmap

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

mathcomp-infotheo

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

mathcomp-real-closed

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

mathcomp-tarjan

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

mathcomp-word

coqPackages: Enable override with dev branches (#329356)

2 years ago

mathcomp-zify

coq-elpi: 2.0.1 -> 2.2.0 (#323590)

2 years ago

metacoq

coqPackages: Enable override with dev branches (#329356)

2 years ago

metalib

coq_8_18: init at 8.18+rc1

2 years ago

multinomials

coqPackages.multinomials switched back to coq_makefile

2 years ago

odd-order

treewide: remove global with lib; statements in pkgs/coq-modules

3 years ago

paco

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

paramcoq

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

parsec

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

pocklington

coq_8_19: init at 8.19+rc1

2 years ago

reglang

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago

relation-algebra

coqPackages.relation-algebra: init at 1.7.9 for Coq 8.17

2 years ago

semantics

treewide: Remove indefinite article from meta.description

2 years ago

serapi

coqPackages: Enable override with dev branches (#329356)

2 years ago

simple-io

coqPackages: Enable override with dev branches (#329356)

2 years ago

smpl

treewide: Remove indefinite article from meta.description

2 years ago

smtcoq

coqPackages.smtcoq: 2.1 → 2.2

2 years ago

ssprove

Merge master into staging-next

2 years ago

stdpp

treewide: Remove indefinite article from meta.description

2 years ago

tlc

coqPackages: Enable override with dev branches (#329356)

2 years ago

topology

topology: 9.0.0 -> 10.2.0

2 years ago

trakt

treewide: Remove indefinite article from meta.description

2 years ago

vcfloat

treewide: Remove indefinite article from meta.description

2 years ago

vscoq-language-server

coqPackages.vscoq-language-server: 2.1.2 -> 2.1.4

2 years ago

zorns-lemma

coq_8_20: init at 8.20+rc1 (#323105)

2 years ago