Code

Agda 2.6.4 updates#262814

Code

Merged

ncfavier merged 7 commits intoNixOS:haskell-updatesNixOS/nixpkgs:haskell-updatesfrom ncfavier:agda-updatesncfavier/nixpkgs:agda-updatesCopy head branch name to clipboardOct 29, 2023

+15-14

Commits

Commits on Oct 24, 2023

• agdaPackages.*: support literate Typst files

  ncfavier

  committed
  6c2b227

  Copy full SHA for 6c2b227

• agdaPackages.standard-library: 1.7.2 -> 1.7.3

  Show description for e8bf86a
  ncfavier

  committed
  e8bf86a

  Copy full SHA for e8bf86a

• agdaPackages.agda-categories: 0.1.7.1a -> 0.1.7.2

  Show description for ae86b08
  ncfavier

  committed
  ae86b08

  Copy full SHA for ae86b08

• agdaPackages._1lab: unstable-2023-03-07 -> unstable-2023-10-11

  ncfavier

  committed
  170a977

  Copy full SHA for 170a977

• agdaPackages.{agda-prelude,functional-linear-algebra}: mark as broken

  ncfavier

  committed
  8b59b95

  Copy full SHA for 8b59b95

• agdaPackages.cubical: 0.5 -> 0.6

  Show description for 57eea05
  ncfavier

  committed
  57eea05

  Copy full SHA for 57eea05

Commits on Oct 25, 2023

• agdaPackages.agda-prelude: unstable-2022-01-14 -> unstable-2023-10-04

  ncfavier

  committed
  1df7685

  Copy full SHA for 1df7685