Repository navigation

Update nixpkgs, etc. - #670

Closed

srid wants to merge 10 commits into

Closed

Update nixpkgs, etc.#670
srid wants to merge 10 commits into
masterfrom
update

Commits on Apr 6, 2022
- Update nixpkgs, and other inputs
  srid
  committed
  d0df602
- Apparently nixpkgs is on ghc 9 now?
  srid
  committed
  9d56c8a
- Use a slightly older nixpkgs that has 8.10 in cache
  srid
  committed
  b0de169
- Use new Prerender
  srid
  committed
  05405e9
- Revert "Use new Prerender"
  srid
  committed
  7be4659
Commits on Apr 26, 2022
- update things
  srid
  committed
  cf6e555
- Revert "Revert "Use new Prerender""
  srid
  committed
  2334caa
- Specify directory-contents hash
  srid
  committed
  6b27b90
Commits on Jul 8, 2022
- Update nixpkgs
  srid
  committed
  65fb8ee
- Update directory-contents (no tests)
  srid
  committed
  4939d20