pkgs/development/coq-modules · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development coq-modules

115 folders

at lib-types-attrNamesToTrue

Lucie · coqPackages.HoTT: 8.20 -> 9.0 · 1y ago

addition-chains

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

autosubst-ocaml

coqPackages.autosubst-ocaml: 1.1+8.19 -> 1.1+8.20

treewide: Format all Nix files

category-theory

coq_9_0: init at 9.0+rc1

coq_9_0: init at 9.0+rc1

treewide: Format all Nix files

coq: 8.20.0 -> 8.20.1 (#374488)

treewide: Format all Nix files

coqPackages.coq-elpi: expose version 2.3.0

coqPackages_8_20.coq-hammer: init at v1.3.2

Add coq Matrix package 8.18 (#373307)

coq-record-update

treewide: remove unused rec expressions

coqPackages.mathcomp: 2.3.0 -> 2.4.0

coq_9_0: init at 9.0+rc1

treewide: Format all Nix files

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

treewide: Format all Nix files

coqPackages.deriving: 0.2.1 -> 0.2.2

coqPackages.metacoq: 1.3.4-8.20 -> 1.3.4-9.0

treewide: Format all Nix files

treewide: Format all Nix files

coqPackages.deriving: 0.2.1 -> 0.2.2

coqPackages.flocq: 4.2.0 -> 4.2.1

coqPackages.fourcolor: 1.4.0 -> 1.4.1

coqPackages.gaia: 2.2 -> 2.3

treewide: remove unused rec expressions

treewide: Format all Nix files

coqPackages.graph-theory: 0.9.4 -> 0.9.6

hierarchy-builder

coqPackages.hierarchy-builder: 1.8.1 -> 1.9.1

high-school-geometry

coqPackages.HoTT: 8.20 -> 9.0

coq_9_0: init at 9.0+rc1

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

treewide: remove unused rec expressions

iris-named-props

treewide: remove unused rec expressions

treewide: remove unused rec expressions

treewide: Format all Nix files

coqPackages.mathcomp: 2.3.0 -> 2.4.0

coq_9_0: init at 9.0+rc1

lemma-overloading

treewide: remove unused rec expressions

treewide: Format all Nix files

coqPackages.mathcomp: 2.3.0 -> 2.4.0

mathcomp-algebra-tactics

coqPackages.mathcomp-algebra-tactics: 1.2.4 -> 1.2.5

mathcomp-analysis

coqPackages.mathcomp-analysis: 1.9.0 -> 1.11.0

mathcomp-bigenough

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

mathcomp-finmap

coqPackages.finmap: 2.1.0 -> 2.2.0

mathcomp-infotheo

coqPackages.mathcomp-infotheo: 0.9.1 -> 0.9.3

mathcomp-real-closed

coqPackages.mathcomp-real-closed: 2.0.2 -> 2.0.3

mathcomp-tarjan

coqPackages.mathcomp-tarjan: 1.0.2 -> 1.0.3

coqPackages.mathcomp*: update stdlib dependencies

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

coq_9_0: init at 9.0+rc1

treewide: fix typos in comments

coqPackages.metacoq: 1.3.4 -> 1.4

coqPackages.multinomials: 2.3.0 -> 2.4.0

coqPackages.odd-order: 2.1.0 -> 2.2.0

treewide: Format all Nix files

coq_9_0: init at 9.0+rc1

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

coqPackages.reglang: 1.2.1 -> 1.2.2

relation-algebra

Refine dependencies from mathcomp-ssreflect to mathcomp-boot

coqPackages.metacoq: 1.3.2 → 1.3.4

treewide: remove unused rec expressions

coq_9_0: init at 9.0+rc1

treewide: remove unused arguments

coqPackages.ssprove: 0.2.3 -> 0.2.4

treewide: Format all Nix files

treewide: remove unused rec expressions

coq_9_0: init at 9.0+rc1

treewide: remove unused rec expressions

coqPackages.vcfloat: 2.2 -> 2.3

treewide: fix some more `sourceRoot`s

vscoq-language-server

coqPackages.vscoq-language-server: 2.2.1 -> 2.2.5

coqPackages.VST: 2.14 -> 2.15