Branch | Commit message | Author | Age | |
---|---|---|---|---|
main | dirty update into more modern times | stuebinm | 18 months | |
Age | Commit message | Author | Files | Lines |
2023-06-17 | dirty update into more modern timesHEADmain | stuebinm | 2 | -4/+4 |
2022-12-05 | reduce closure size | stuebinm | 1 | -1/+11 |
2022-12-05 | bump to nixpkgs-22.11 | stuebinm | 3 | -10/+30 |
2021-12-03 | bump to nixpkgs 21.11 | stuebinm | 4 | -13/+13 |
2021-09-06 | add nix build system and NixOS module | stuebinm | 8 | -0/+396 |
2021-04-15 | Bump haskell image to 8.10.4 | Jasper Van der Jeugt | 1 | -1/+1 |
2021-04-15 | YAML sucks | Jasper Van der Jeugt | 1 | -10/+7 |
2021-04-15 | Bump dependencies | Jasper Van der Jeugt | 3 | -11/+11 |
2021-04-15 | UPenn PLClub Card set | lag47 | 1 | -0/+65 |
2021-01-16 | POPL edits | Niki Vazou | 1 | -2/+11 |
[...] | ||||
Clone | ||||
https://stuebinm.eu/git/forks/uplcg |