tangled
alpha
login
or
join now
tjh.dev
/
nixpkgs
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
applications
/
science
/
logic
/
at
devShellTools-shell
26 folders
abella
treewide: run nixfmt 1.0.0
6 months ago
avy
Merge 7bff569ce4aeb5646cc2ddd4b0df0cd75e6b4981 into haskell-updates
10 months ago
cedille
Revert "treewide: replace `rev` with `tag`"
9 months ago
coq
treewide: run nixfmt 1.0.0
6 months ago
cubicle
treewide: run nixfmt 1.0.0
6 months ago
cvc3
treewide: format all inactive Nix files
1 year ago
cvc5
cvc5: 1.2.1 → 1.3.0
7 months ago
easycrypt
vampire: 4.6.1 -> 4.9 (#388482)
10 months ago
ekrhyper
treewide: format all inactive Nix files
1 year ago
eprover
treewide: run nixfmt 1.0.0
6 months ago
glucose
treewide: remove gebner from maintainers
10 months ago
hol_light
treewide: format all inactive Nix files
1 year ago
klee
Revert "treewide: replace `rev` with `tag`"
9 months ago
leo2
treewide: format all inactive Nix files
1 year ago
leo3
treewide: format all inactive Nix files
1 year ago
prooftree
treewide: run nixfmt 1.0.0
6 months ago
rocq-core
treewide: conform descriptions to the standards
6 months ago
satallax
treewide: format all inactive Nix files
1 year ago
spass
treewide: format all inactive Nix files
1 year ago
statverif
treewide: format all inactive Nix files
1 year ago
tamarin-prover
treewide: run nixfmt 1.0.0
6 months ago
tlaplus
treewide: run `./maintainers/scripts/update_redirected_urls.sh`
1 year ago
vampire
Merge e607ef1af0983f09dbd801c50bca5f098f491804 into haskell-updates
10 months ago
verit
treewide: remove gebner from maintainers
10 months ago
why3
why3: 1.8.0 -> 1.8.1 (#415726)
7 months ago
yices
treewide: format all inactive Nix files
1 year ago
tjh.dev