nixpkgs/pkgs/development/coq-modules/ at 24.05-pre · pyrox.dev/nixpkgs

Cheerios

coq_8_18: init at 8.18+rc1

2 years ago

CoLoR

coq_8_18: init at 8.18+rc1

2 years ago

HoTT

coq_8_18: init at 8.18+rc1

2 years ago

ITree

coqPackages.ITree: 5.1.1 → 5.1.2

2 years ago

InfSeqExt

coq_8_18: init at 8.18+rc1

2 years ago

LibHyps

coq_8_18: init at 8.18+rc1

2 years ago

QuickChick

Merge pull request #236417 from vbgl/coq-gappalib-1.5.3

2 years ago

StructTact

coq_8_18: init at 8.18+rc1

2 years ago

VST

coqPackages.VST: 2.11.1 → 2.12

2 years ago

Velisarios

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

3 years ago

Verdi

coq_8_18: init at 8.18+rc1

2 years ago

aac-tactics

coq_8_18: init at 8.18+rc1

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_18: init at 8.18+rc1

2 years ago

category-theory

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

ceres

coq_8_18: init at 8.18+rc1

2 years ago

compcert

compcert: add aarch64 support

2 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

coq_8_18: init at 8.18+rc1

2 years ago

coq-ext-lib

coq_8_18: init at 8.18+rc1

2 years ago

coq-haskell

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

3 years ago

coq-lsp

coqPackages.coq-lsp: 0.1.7 -> 0.1.8

2 years ago

coq-record-update

coq_8_18: init at 8.18+rc1

2 years ago

coqeal

Add various mathcomp 2.1 versions

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.17 → 8.18

2 years ago

coqtail-math

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

3 years ago

coquelicot

coq_8_18: init at 8.18+rc1

2 years ago

corn

coqPackages.corn: 8.16.0 → 8.18.0

2 years ago

deriving

coqPackages.deriving: 0.1.1 -> 0.2.0 (#258038)

2 years ago

dpdgraph

coqPackages.dpdgraph: remove for Coq < 8.7

2 years ago

equations

coq_8_18: init at 8.18+rc1

2 years ago

extructures

Update pkgs/development/coq-modules/extructures/default.nix

2 years ago

fiat

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

3 years ago

flocq

coqPackages.flocq: 4.1.1 → 4.1.3

2 years ago

fourcolor

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 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.3 → 1.5.4

2 years ago

goedel

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

3 years ago

graph-theory

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 years ago

heq

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

3 years ago

hierarchy-builder

coqPackages.hierarchy-builder: 1.4.0 → 1.5.0

2 years ago

hydra-battles

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

3 years ago

interval

coqPackages.interval: 4.8.0 → 4.9.0 (#266082)

2 years ago

iris

Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloat

2 years ago

iris-named-props

coqPackages.iris-named-props: new expression (#263100)

2 years ago

itauto

coqPackages.itauto: enable for Coq 8.18

2 years ago

ltac2

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

3 years ago

math-classes

coqPackages.math-classes: 8.17.0 → 8.18.0

2 years ago

mathcomp

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 years ago

mathcomp-abel

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

3 years ago

mathcomp-algebra-tactics

Add various mathcomp 2.1 versions

2 years ago

mathcomp-analysis

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 years ago

mathcomp-apery

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 years ago

mathcomp-bigenough

coq_8_18: init at 8.18+rc1

2 years ago

mathcomp-finmap

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 years ago

mathcomp-infotheo

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 years ago

mathcomp-real-closed

Add various mathcomp 2.1 versions

2 years ago

mathcomp-tarjan

Add a few packages for Coq 8.18 and MathComp 2.0

2 years ago

mathcomp-word

coq_8_18: init at 8.18+rc1

2 years ago

mathcomp-zify

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 years ago

metacoq

treewide: use lib.optional instead of 'then []'

2 years ago

metalib

coq_8_18: init at 8.18+rc1

2 years ago

multinomials

coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)

2 years ago

odd-order

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

3 years ago

paco

coq_8_18: init at 8.18+rc1

2 years ago

paramcoq

coq_8_18: init at 8.18+rc1

2 years ago

parsec

coq_8_18: init at 8.18+rc1

2 years ago

pocklington

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

3 years ago

reglang

Add various mathcomp 2.1 versions

2 years ago

relation-algebra

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

2 years ago

semantics

coq_8_18: init at 8.18+rc1

2 years ago

serapi

coqPackages.serapi: fix build with Coq 8.16

2 years ago

simple-io

coq_8_18: init at 8.18+rc1

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

2 years ago

stdpp

Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloat

2 years ago

tlc

treewide: use use lib.optionalAttrs instead of 'then {}'

2 years ago

topology

topology: 9.0.0 -> 10.2.0

2 years ago

trakt

coq_8_18: init at 8.18+rc1

2 years ago

vcfloat

coqPackages.vcfloat: fix

2 years ago

zorns-lemma

topology: 9.0.0 -> 10.2.0

2 years ago