pkgs/applications/science/logic · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs applications science logic

25 folders

at python-updates

liberodark · treewide: move to by-name part 2 · 1y ago

treewide: run nixfmt 1.0.0

treewide: remove unused rec expressions

Revert "treewide: replace `rev` with `tag`"

treewide: run nixfmt 1.0.0

treewide: run nixfmt 1.0.0

treewide: format all inactive Nix files

easycrypt: 2025.02 -> 2025.03

treewide: format all inactive Nix files

treewide: run nixfmt 1.0.0

treewide: remove gebner from maintainers

treewide: format all inactive Nix files

Revert "treewide: replace `rev` with `tag`"

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: run nixfmt 1.0.0

treewide: conform descriptions to the standards

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: format all inactive Nix files

treewide: run nixfmt 1.0.0

treewide: run `./maintainers/scripts/update_redirected_urls.sh`

vampire: 4.6.1 -> 4.9

treewide: remove gebner from maintainers

why3: 1.8.0 -> 1.8.1

treewide: format all inactive Nix files