nixpkgs/pkgs/development/coq-modules/ at release-23.05

Cheerios

coqPackages.Cheerios: 20200201 → 20230107

2 years ago

CoLoR

coqPackages.CoLoR: 1.8.3 → 1.8.4

2 years ago

HoTT

coqPackages.HoTT: 8.16 -> 8.17

2 years ago

ITree

coqPackages.ITree: 5.1.0 → 5.1.1

2 years ago

InfSeqExt

coqPackages.InfSeqExt: 20200131 → 20230107

2 years ago

LibHyps

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

QuickChick

coqPackages.QuickChick: 1.6.4 → 1.6.5

2 years ago

StructTact

coqPackages.StructTact: 20210328 → 20230107

2 years ago

VST

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

3 years ago

Velisarios

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

3 years ago

Verdi

coqPackages.Verdi: 20211026 → 20230503

2 years ago

aac-tactics

Merge pull request #233640 from NixOS/backport-230891-to-release-23.05

2 years ago

addition-chains

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

autosubst

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

3 years ago

bignums

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

3 years ago

category-theory

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

ceres

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

3 years ago

compcert

compcert: 3.11 → 3.12

3 years ago

contribs

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

3 years ago

coq-bits

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

3 years ago

coq-elpi

coqPackages: various 8.16 -> 8.17

3 years ago

coq-ext-lib

coqPackages.coq-ext-lib: enable for Coq 8.17

3 years ago

coq-haskell

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

3 years ago

coq-lsp

coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17

2 years ago

coq-record-update

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

coqeal

coqPackages.coqeal: 1.1.1 -> 1.1.3

2 years ago

coqhammer

coqPackages.coqhammer: fix src URL

3 years ago

coqide

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

3 years ago

coqprime

coqPackages.coqprime: 8.15 → 8.17

2 years ago

coqtail-math

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

3 years ago

coquelicot

coqPackages.coquelicot: 3.3.0 -> 3.3.1

2 years ago

corn

coqPackages.corn: enable for Coq 8.17

2 years ago

deriving

coqPackages.deriving: 0.1.0 → 0.1.1

2 years ago

dpdgraph

coqPackages_8_17.dpdgraph: init at 1.0+8.17

2 years ago

equations

coqPackages_8_17.equations: init at 1.3+8.17

3 years ago

extructures

coqPackages.extructures: enable for Coq 8.17

2 years ago

fiat

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

3 years ago

flocq

coqPackages: various 8.16 -> 8.17

3 years ago

fourcolor

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

3 years ago

gaia

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

3 years ago

gaia-hydras

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

3 years ago

gappalib

coqPackages.gappalib: 1.5.2 → 1.5.3

2 years ago

goedel

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

3 years ago

graph-theory

coqPackages: various 8.16 -> 8.17

3 years ago

heq

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

3 years ago

hierarchy-builder

coqPackages: various 8.16 -> 8.17

3 years ago

hydra-battles

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

3 years ago

interval

Merge pull request #241421 from NixOS/backport-241243-to-release-23.05

2 years ago

iris

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

3 years ago

itauto

coqPackages.itauto: init at 8.17.0 for Coq 8.17

2 years ago

ltac2

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

3 years ago

math-classes

coqPackages.math-classes: 8.15.0 → 8.17.0

2 years ago

mathcomp

Mathcomp 1.16.0 -> 1.17.0

2 years ago

mathcomp-abel

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

3 years ago

mathcomp-algebra-tactics

coqPackages.mathcomp-algebra-tactics 1.0.0 -> 1.1.1

2 years ago

mathcomp-analysis

coqPackages: various 8.16 -> 8.17

3 years ago

mathcomp-apery

Add coqPackages.mathcomp-apery

2 years ago

mathcomp-bigenough

coqPackages: various 8.16 -> 8.17

3 years ago

mathcomp-finmap

coqPackages: various 8.16 -> 8.17

3 years ago

mathcomp-infotheo

mathcomp-infotheo: init at 0.5.1 (#231077)

2 years ago

mathcomp-real-closed

coqPackages: various 8.16 -> 8.17

3 years ago

mathcomp-tarjan

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

3 years ago

mathcomp-word

coqPackages.mathcomp-word: 2.0 → 2.1

2 years ago

mathcomp-zify

coqPackages: various 8.16 -> 8.17

3 years ago

metacoq

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

3 years ago

metalib

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

multinomials

coqPackages.multinomials: 1.5.6 -> 1.6.0

2 years ago

odd-order

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

3 years ago

paco

coqPackages.paco: enable for Coq 8.17

3 years ago

paramcoq

Merge pull request #213855 from vbgl/coq-coquelicot-3.3

3 years ago

parsec

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

3 years ago

pocklington

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

3 years ago

reglang

coqPackages.reglang: 1.1.2 → 1.1.3

2 years ago

relation-algebra

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

2 years ago

semantics

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

serapi

coqPackages.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0

2 years ago

simple-io

coqPackages.simple-io: 1.7.0 → 1.8.0

2 years ago

smpl

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

3 years ago

smtcoq

coqPackages.smtcoq.cvc4: fix build with bash 5.2

3 years ago

stdpp

coqPackages_8_17.stdpp: init at 1.8.0

2 years ago

tlc

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

3 years ago

topology

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

3 years ago

trakt

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

zorns-lemma

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

3 years ago