nixpkgs

aac-tactics

coqPackages.aac-tactics: 8.13.2, 8.14.1, 8.15.1

2022-04-04 11:21:01 +02:00

addition-chains

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

autosubst

…

bignums

…

category-theory

…

ceres

…

Cheerios

…

CoLoR

coqPackages.CoLoR: 1.8.1 → 1.8.2

2022-04-12 18:57:15 +02:00

compcert

compcert: add support for Coq 8.15.1

2022-03-24 10:17:42 +01:00

contribs

…

coq-bits

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

coq-elpi

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

coq-ext-lib

…

coq-haskell

…

coq-record-update

…

coqeal

…

coqhammer

coqPackages_8_15.coqhammer: enable at 1.3.2

2022-02-23 09:04:09 +01:00

coqprime

coqPackages.coqprime: 8.14.1 → 8.15

2022-04-04 17:08:31 +02:00

coqtail-math

coqPackages.coqtail-math: 20201124 → 8.14

2022-04-27 19:15:35 +02:00

coquelicot

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

corn

…

deriving

…

dpdgraph

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

equations

…

extructures

…

fiat

…

flocq

treewide: remove nativeBuildInputs that are in stdenv

2022-04-16 21:46:46 +03:00

fourcolor

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

gaia

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

gaia-hydras

coqPackages_8_14.gaia-hydras: 0.5 -> 0.6

2022-02-20 14:32:30 +01:00

gappalib

coqPackages.gappalib: 1.5.0 → 1.5.1

2022-04-11 21:07:00 +02:00

goedel

…

graph-theory

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

heq

…

hierarchy-builder

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

HoTT

…

hydra-battles

coqPackages.hydra-battles: fix version checking logic

2022-02-21 16:20:04 +01:00

InfSeqExt

…

interval

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

iris

coqPackages.iris: 3.5.0 → 3.6.0

2022-02-23 21:14:14 +01:00

itauto

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

ITree

…

LibHyps

coqPackages.LibHyps: init at 2.0.4.1

2022-02-20 14:14:40 +01:00

ltac2

…

math-classes

…

mathcomp

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

mathcomp-abel

…

mathcomp-analysis

…

mathcomp-bigenough

…

mathcomp-finmap

…

mathcomp-real-closed

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

mathcomp-tarjan

…

mathcomp-word

coqPackages.mathcomp-word: 1.0 → 1.1

2022-04-26 13:11:29 +02:00

mathcomp-zify

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

metacoq

coqPackages.metacoq: create package (#162639 )

2022-05-03 09:26:34 +02:00

metalib

coqPackages.metalib: clean & init at 8.15

2022-04-27 11:36:20 +02:00

multinomials

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

odd-order

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

paco

…

paramcoq

…

parsec

coqPackages.parsec: 0.1.0 → 0.1.1

2022-04-29 07:11:26 +02:00

pocklington

…

QuickChick

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

reglang

…

relation-algebra

coqPackages.relation-algebra: 1.7.6, 1.7.7

2022-04-04 11:24:27 +02:00

semantics

coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true

2022-02-25 07:54:17 +01:00

serapi

…

simple-io

coqPackages.simple-io: 1.3.0 → 1.7.0

2022-04-29 20:59:11 +02:00

smpl

…

smtcoq

coqPackages.smtcoq: init at itp22

2022-04-13 19:38:01 -05:00

stdpp

coqPackages.iris: 3.5.0 → 3.6.0

2022-02-23 21:14:14 +01:00

StructTact

…

tlc

coqPackages.tlc: 20210316 → 20211215

2022-04-28 20:56:01 +02:00

topology

…

trakt

coqPackages.trakt: init at 1.0

2022-04-13 19:38:00 -05:00

Velisarios

…

Verdi

coqPackages.Verdi: 20210524 → 20211026

2022-04-19 21:35:05 +02:00

VST

coqPackages.VST: fix build with Coq 8.15.1

2022-03-24 10:17:42 +01:00

zorns-lemma

…