aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
maindirty update into more modern timesstuebinm18 months
 
 
AgeCommit messageAuthorFilesLines
2023-06-17dirty update into more modern timesHEADmainstuebinm2-4/+4
2022-12-05reduce closure sizestuebinm1-1/+11
2022-12-05bump to nixpkgs-22.11stuebinm3-10/+30
2021-12-03bump to nixpkgs 21.11stuebinm4-13/+13
2021-09-06add nix build system and NixOS modulestuebinm8-0/+396
2021-04-15Bump haskell image to 8.10.4Jasper Van der Jeugt1-1/+1
2021-04-15YAML sucksJasper Van der Jeugt1-10/+7
2021-04-15Bump dependenciesJasper Van der Jeugt3-11/+11
2021-04-15UPenn PLClub Card setlag471-0/+65
2021-01-16POPL editsNiki Vazou1-2/+11
[...]
 
Clone
https://stuebinm.eu/git/forks/uplcg