summaryrefslogtreecommitdiff
path: root/shell.nix
AgeCommit message (Expand)Author
2018-04-03Ensure glpk is availableDominic Steinitz
2018-04-03Simplify shell.nixDominic Steinitz
2018-04-03Use nix rather than ubuntu for CIDominic Steinitz
2018-03-28Using hsc, semi-auto-generating documentationDominic Steinitz
2018-03-26Revert "Cleanups to Sundials PR"idontgetoutmuch
2018-03-25Unify the stack.yaml files at top-level.Mathieu Boespflug