pkgs/development/coq-modules · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development coq-modules

120 folders

at haskell-updates

Vincent Laporte · coqPackages.coq-lsp: 0.2.3 → 0.2.4 · 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

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

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

compcert: 3.15 → 3.16

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

coqPackages.coq-lsp: 0.2.3 → 0.2.4

Add coq Matrix package 8.18 (#373307)

coq-record-update

coqPackages.coq-record-update: 0.3.5 -> 0.3.6

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.dpdgraph: 1.0+8.20 -> 1.0+9.0

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.iris: 4.3.0 -> 4.4.0

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.jasmin: 2025.02.0 → 2025.06.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

rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0

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

ocamlPackages.menhir: 20240715 → 20250903

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.stdpp : 1.11.0 -> 1.12.0

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.validsdp: init at 1.1.0

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: release 2.2.0

Add coqPackages.stdlib

treewide: format all inactive Nix files