nixpkgs/pkgs/development/coq-modules/ at netboot-syslinux-multiplatform · tjh.dev/nixpkgs

Cheerios

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

3 years ago

CoLoR

Merge pull request #230891 from proux01/update-mathcomp-1.17.0

2 years ago

HoTT

coqPackages.HoTT: 8.16 -> 8.17

2 years ago

ITree

coqPackages.ITree: 4.0.0 → 5.1.0

2 years ago

InfSeqExt

coq_8_17: init at 8.17+rc1 (#209145)

3 years ago

LibHyps

coqPackages_8_17: enable a few packages for Coq 8.17

2 years ago

QuickChick

coqPackages.QuickChick: 1.6.2 → 1.6.4

3 years ago

StructTact

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

3 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

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

3 years ago

aac-tactics

coqPackages.aac-tactics: init at 8.17.0

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

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

coqPackages: various 8.16 -> 8.17

2 years ago

coq-ext-lib

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

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.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

2 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

2 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

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

3 years ago

goedel

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

3 years ago

graph-theory

coqPackages: various 8.16 -> 8.17

2 years ago

heq

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

3 years ago

hierarchy-builder

coqPackages: various 8.16 -> 8.17

2 years ago

hydra-battles

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

3 years ago

interval

coqPackages: various 8.16 -> 8.17

2 years ago

iris

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

3 years ago

itauto

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

3 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

2 years ago

mathcomp-apery

Add coqPackages.mathcomp-apery

2 years ago

mathcomp-bigenough

coqPackages: various 8.16 -> 8.17

2 years ago

mathcomp-finmap

coqPackages: various 8.16 -> 8.17

2 years ago

mathcomp-infotheo

mathcomp-infotheo: init at 0.5.1 (#231077)

2 years ago

mathcomp-real-closed

coqPackages: various 8.16 -> 8.17

2 years ago

mathcomp-tarjan

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

3 years ago

mathcomp-word

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

3 years ago

mathcomp-zify

coqPackages: various 8.16 -> 8.17

2 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

2 years ago

paramcoq

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

2 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

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

3 years ago

relation-algebra

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

3 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

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

3 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

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