pkgs/development/coq-modules · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development coq-modules

119 folders

at python-updates

Pierre Roux · ocamlPackages.elpi: 2.0.7 -> 3.0.1 · 1y ago

Add coqPackages.stdlib

addition-chains

treewide: format all inactive Nix files

treewide: strip trailing punctuation from description strings

Add coqPackages.stdlib

coqPackages.*: 9.0 -> 9.1

autosubst-ocaml

treewide: conform descriptions to the standards

treewide: conform descriptions to the standards

coqPackages: fix Rocq shim for Coq >= 9

category-theory

treewide: format all inactive Nix files

coqPackages.*: 9.0 -> 9.1

coqPackages.*: 9.0 -> 9.1

treewide: conform descriptions to the standards

coqPackages.*: 9.0 -> 9.1

coq: 8.20.0 -> 8.20.1 (#374488)

treewide: format all inactive Nix files

treewide: Format all Nix files

coqPackages: fix Rocq shim for Coq >= 9

coqPackages_8_20.coq-hammer: init at v1.3.2

treewide: format all inactive Nix files

coq-lsp: 0.2.2 -> 0.2.3

Add coq Matrix package 8.18 (#373307)

coq-record-update

coqPackages.*: more 9.0 -> 9.1

coqPackages.coq-tactical: init at unstable-2022-02-15

coqPackages.*: 9.0 -> 9.1

treewide: conform descriptions to the standards

treewide: format all inactive Nix files

coq_9_0: init at 9.0+rc1

treewide: Format all Nix files

treewide: format all inactive Nix files

coqPackages.*: more 9.0 -> 9.1

treewide: format all inactive Nix files

treewide: Format all Nix files

coqPackages.*: 9.0 -> 9.1

coqPackages.*: better formatting fix

treewide: conform descriptions to the standards

coqPackages.*: better formatting fix

coqPackages.*: 9.0 -> 9.1

coqPackages.*: 9.0 -> 9.1

coqPackages.*: more 9.0 -> 9.1

coqPackages.*: more 9.0 -> 9.1

coqPackages.*: fix formatting fix

coqPackages.*: 9.0 -> 9.1

treewide: remove unused rec expressions

treewide: Format all Nix files

treewide: format all inactive Nix files

coqPackages.*: fix formatting fix

treewide: format all inactive Nix files

hierarchy-builder

coqPackages: fix Rocq shim for Coq >= 9

high-school-geometry

treewide: format all inactive Nix files

coqPackages.HoTT: 8.20 -> 9.0

coqPackages.*: better formatting fix

treewide: run nixfmt 1.0.0

coqPackages.*: 9.0 -> 9.1

coqPackages.interval: 4.11.2 -> 4.11.3

coqPackages.*: 9.0 -> 9.1

iris-named-props

treewide: remove unused rec expressions

coqPackages.*: better formatting fix

coqPackages.*: 9.0 -> 9.1

treewide: strip trailing punctuation from description strings

coqPackages.*: more 9.0 -> 9.1

treewide: strip trailing punctuation from description strings

lemma-overloading

treewide: remove unused rec expressions

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: Format all Nix files

treewide: run nixfmt 1.0.0

coqPackages.*: fix formatting fix

mathcomp-algebra-tactics

ocamlPackages.elpi: 2.0.7 -> 3.0.1

mathcomp-analysis

coqPackages.*: 9.0 -> 9.1

coqPackages.*: fix formatting fix

mathcomp-bigenough

coqPackages.*: 9.0 -> 9.1

mathcomp-finmap

coqPackages.*: 9.0 -> 9.1

mathcomp-infotheo

coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0

mathcomp-real-closed

coqPackages.*: 9.0 -> 9.1

mathcomp-tarjan

coqPackages.*: 9.0 -> 9.1

coqPackages.*: 9.0 -> 9.1

coqPackages.*: 9.0 -> 9.1

treewide: conform descriptions to the standards

treewide: run nixfmt 1.0.0

treewide: format all inactive Nix files

treewide: run nixfmt 1.0.0

treewide: format all inactive Nix files

coqPackages.*: 9.0 -> 9.1

coqPackages.*: fix formatting fix

coqPackages.Ordinal: 0.5.3 -> 0.5.4

coqPackages.*: 9.0 -> 9.1

treewide: format all inactive Nix files

coqPackages.*: 9.0 -> 9.1

coqPackages: fix Rocq shim for Coq >= 9

treewide: format all inactive Nix files

treewide: run nixfmt 1.0.0

coqPackages.*: 9.0 -> 9.1

relation-algebra

coqPackages.*: better formatting fix

Add coqPackages.stdlib

treewide: conform descriptions to the standards

treewide: remove unused rec expressions

treewide: format all inactive Nix files

treewide: run nixfmt 1.0.0

treewide: format all inactive Nix files

treewide: run nixfmt 1.0.0

coqPackages.*: fix formatting fix

coqPackages.*: better formatting fix

coqPackages: fix Rocq shim for Coq >= 9

coqPackages.*: 9.0 -> 9.1

coqPackages.*: 9.0 -> 9.1

Add coqPackages.stdlib

treewide: remove unused rec expressions

coqPackages.trakt: add stdlib dependency

treewide: conform descriptions to the standards

coqPackages.vcfloat: 2.2 -> 2.3

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: fix some more `sourceRoot`s

treewide: format all inactive Nix files

vscoq-language-server

treewide: run nixfmt 1.0.0

treewide: run nixfmt 1.0.0

coqPackages.wasmcert: init at 2.1.0

Add coqPackages.stdlib

treewide: format all inactive Nix files