summaryrefslogtreecommitdiff
path: root/shell.nix
AgeCommit message (Expand)Author
2018-04-10Another change of tackDominic Steinitz
2018-04-09Almost a complete re-write of shell.nixDominic Steinitz
2018-04-04Make header availableDominic Steinitz
2018-04-04Working for CI but not locallyDominic Steinitz
2018-04-03For nasmDominic Steinitz
2018-04-03Force a new cacheDominic Steinitz
2018-04-03Add missing dependencyDominic Steinitz
2018-04-03Add fortran dependencyDominic Steinitz
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