pkgs/development/coq-modules · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development coq-modules

90 folders

at llvm-cleanup

Vincent Laporte · coqPackages.mathcomp-infotheo: 0.6.1 → 0.7.1 · 2y ago

coqPackages_8_19.aac-tactics: init at 8.19.0

addition-chains

coq_8_18: init at 8.18+rc1

coq_8_18: init at 8.18+rc1

coqPackages.bignums: 8.18 -> 8.19

category-theory

coqPackages_8_17: enable a few packages for Coq 8.17

Bump a few things compiling with Coq 8.19

Bump a few things compiling with Coq 8.19

coqPackages.CoLoR: 1.8.4 → 1.8.5

compcert: 3.13.1 → 3.14 (#308752)

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

coqPackages_8_16: fix evaluation with math-comp ≥ 2.0

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

Bump a few things compiling with Coq 8.19

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

maintainers: drop marsam

coq-record-update

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

Add Coqeal 2.0.1 and algebra-tactics 1.2.3

coqPackages.coqhammer: fix src URL

treewide: wrapGAppsHook → wrapGAppsHook3

coqPackages_8_19.coqprime

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

coqPackages.coquelicot: 3.4.0 -> 3.4.1

coqPackages.math-classes: 8.18.0 → 8.19.0

coqPackages_8_19.extructures

coqPackages_8_19.dpdgraph: init at 1.0+8.19

coqPackages_8_19.equations: init at 1.3+8.19

coqPackages_8_19.extructures

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

coqPackages.flocq: 4.1.3 -> 4.1.4

coqPackages.mathcomp: 1.18.0 -> 1.19.0

coqPackages.gaia: 1.15 → 1.17

coqPackages_8_16: fix evaluation with math-comp ≥ 2.0

coqPackages.gappalib: 1.5.4 → 1.5.5

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

coqPackages.graph-theory: 0.9.3 → 0.9.4

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

hierarchy-builder

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

coqPackages_8_19.HoTT: init at 8.19

coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9

Bump a few things compiling with Coq 8.19

coqPackages.interval: 4.9.0 → 4.10.0

coqPackages.stdpp: 1.9.0 → 1.10.0

iris-named-props

coqPackages.stdpp: 1.9.0 → 1.10.0

coqPackages_8_19.itauto: init at 8.19.0

coqPackages_8_19.ITree

coqPackages.LibHyps: 2.0.4.1 -> 2.0.8

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

coqPackages.math-classes: 8.18.0 → 8.19.0

coqPackages.mathcomp: 2.1.0 -> 2.2.0

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

mathcomp-algebra-tactics

coqPackages_8_19.mathcomp-algebra-tactics

mathcomp-analysis

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

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

mathcomp-bigenough

coqPackages.mathcomp: 1.18.0 -> 1.19.0

mathcomp-finmap

Add Coqeal 2.0.1 and algebra-tactics 1.2.3

mathcomp-infotheo

coqPackages.mathcomp-infotheo: 0.6.1 → 0.7.1

mathcomp-real-closed

coqPackages_8_19.mathcomp-real-closed

mathcomp-tarjan

coqPackages.mathcomp: 2.1.0 -> 2.2.0

coqPackages.mathcomp-word: 2.2 → 2.3

coqPackages.mathcomp: 2.1.0 -> 2.2.0

coqPackages.metacoq: 1.2.1 → 1.3.1

coq_8_18: init at 8.18+rc1

coqPackages_8_19.multinomials

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

coqPackages_8_19.paco

coqPackages.paramcoq: 8.18 -> 8.19

Bump a few things compiling with Coq 8.19

coq_8_19: init at 8.19+rc1

coqPackages_8_19.QuickChick

coqPackages_8_19.reglang

relation-algebra

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

coq_8_18: init at 8.18+rc1

Revert "stdenv: add meta.repository field"

Bump a few things compiling with Coq 8.19

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

coqPackages.smtcoq: expand to more supported versions

coqPackages.ssprove: init at 0.2.0 (#306981)

coqPackages.stdpp: 1.9.0 → 1.10.0

Bump a few things compiling with Coq 8.19

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

topology: 9.0.0 -> 10.2.0

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

coqPackages.vcfloat: enable for Coq 8.18 & 8.19

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

treewide: remove unnecessary patching of configure script

coqPackages.Vpl: fix meta

coqPackages.VplTactic: init at 0.5

vscoq-language-server

treewide: wrapGAppsHook → wrapGAppsHook3

coqPackages.VST: 2.13 → 2.14

Bump a few things compiling with Coq 8.19