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

Cheerios

Bump a few things compiling with Coq 8.19

2 years ago

CoLoR

coqPackages.CoLoR: 1.8.4 → 1.8.5

2 years ago

HoTT

coqPackages_8_19.HoTT: init at 8.19

2 years ago

ITree

coqPackages_8_19.ITree

2 years ago

InfSeqExt

Bump a few things compiling with Coq 8.19

2 years ago

LibHyps

coqPackages.LibHyps: 2.0.4.1 -> 2.0.8

2 years ago

QuickChick

coqPackages_8_19.QuickChick

2 years ago

StructTact

Bump a few things compiling with Coq 8.19

2 years ago

VST

coqPackages.VST: 2.13 → 2.14

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

coqPackages.VplTactic: init at 0.5

2 years ago

aac-tactics

coqPackages_8_19.aac-tactics: init at 8.19.0

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

coqPackages.bignums: 8.18 -> 8.19

2 years ago

category-theory

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

ceres

Bump a few things compiling with Coq 8.19

2 years ago

compcert

Merge #306080: staging-next 2024-04-22

2 years ago

contribs

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

3 years ago

coq-bits

Merge master into staging-next

2 years ago

coq-elpi

coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)

2 years ago

coq-ext-lib

Bump a few things compiling with Coq 8.19

2 years ago

coq-haskell

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

3 years ago

coq-lsp

maintainers: drop marsam

2 years ago

coq-record-update

coqPackages.coq-record-update: 0.3.3 -> 0.3.4

2 years ago

coqeal

Add Coqeal 2.0.1 and algebra-tactics 1.2.3

2 years ago

coqhammer

coqPackages.coqhammer: fix src URL

2 years ago

coqide

treewide: wrapGAppsHook → wrapGAppsHook3

2 years ago

coqprime

coqPackages_8_19.coqprime

2 years ago

coqtail-math

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

3 years ago

coquelicot

coqPackages.coquelicot: 3.4.0 -> 3.4.1

2 years ago

corn

coqPackages.math-classes: 8.18.0 → 8.19.0

2 years ago

deriving

coqPackages_8_19.extructures

2 years ago

dpdgraph

coqPackages_8_19.dpdgraph: init at 1.0+8.19

2 years ago

equations

coqPackages_8_19.equations: init at 1.3+8.19

2 years ago

extructures

coqPackages_8_19.extructures

2 years ago

fiat

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

3 years ago

flocq

coqPackages.flocq: 4.1.3 -> 4.1.4

2 years ago

fourcolor

coqPackages.mathcomp: 1.18.0 -> 1.19.0

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 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.5.0 -> 1.7.0 (#280269)

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

coqPackages.stdpp: 1.9.0 → 1.10.0

2 years ago

iris-named-props

coqPackages.stdpp: 1.9.0 → 1.10.0

2 years ago

itauto

coqPackages_8_19.itauto: init at 8.19.0

2 years ago

ltac2

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

3 years ago

math-classes

coqPackages.math-classes: 8.18.0 → 8.19.0

2 years ago

mathcomp

coqPackages.mathcomp: 2.1.0 -> 2.2.0

2 years ago

mathcomp-abel

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

3 years ago

mathcomp-algebra-tactics

coqPackages_8_19.mathcomp-algebra-tactics

2 years ago

mathcomp-analysis

coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)

2 years ago

mathcomp-apery

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

2 years ago

mathcomp-bigenough

coqPackages.mathcomp: 1.18.0 -> 1.19.0

2 years ago

mathcomp-finmap

Add Coqeal 2.0.1 and algebra-tactics 1.2.3

2 years ago

mathcomp-infotheo

coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)

2 years ago

mathcomp-real-closed

coqPackages_8_19.mathcomp-real-closed

2 years ago

mathcomp-tarjan

coqPackages.mathcomp: 2.1.0 -> 2.2.0

2 years ago

mathcomp-word

coqPackages.mathcomp-word: 2.2 → 2.3

2 years ago

mathcomp-zify

coqPackages.mathcomp: 2.1.0 -> 2.2.0

2 years ago

metacoq

coqPackages.metacoq: 1.2.1 → 1.3.1

2 years ago

metalib

coq_8_18: init at 8.18+rc1

2 years ago

multinomials

coqPackages_8_19.multinomials

2 years ago

odd-order

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

3 years ago

paco

coqPackages_8_19.paco

2 years ago

paramcoq

coqPackages.paramcoq: 8.18 -> 8.19

2 years ago

parsec

Bump a few things compiling with Coq 8.19

2 years ago

pocklington

coq_8_19: init at 8.19+rc1

2 years ago

reglang

coqPackages_8_19.reglang

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

Revert "stdenv: add meta.repository field"

2 years ago

simple-io

Bump a few things compiling with Coq 8.19

2 years ago

smpl

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

3 years ago

smtcoq

Merge pull request #286807 from siraben/smtcoq-versions

2 years ago

ssprove

Merge master into staging-next

2 years ago

stdpp

coqPackages.stdpp: 1.9.0 → 1.10.0

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

coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)

2 years ago

vcfloat

Merge pull request #291867 from r-ryantm/auto-update/coqPackages.LibHyps

2 years ago

vscoq-language-server

treewide: wrapGAppsHook → wrapGAppsHook3

2 years ago

zorns-lemma

Bump a few things compiling with Coq 8.19

2 years ago