pkgs/development/libraries/agda · nixpkgs · Tangled

Sign in Join now

nixpkgs lukegb.dev /

Star Starred Star

Something went wrong. Try again.

Watch Watching Watch

What happens if I push all of nixpkgs

Star Starred Star

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

nixpkgs /pkgs /development /libraries /agda

9 folders

at llvm-cleanup

sternenseemann · Merge branch master into haskell-updates · 2y ago

Merge branch master into haskell-updates

agda-categories

agdaPackages.agda-categories: remove heap size increase

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

agdaPackages.agdarsec: mark as broken

agdaPackages.cubical: add maintainer phijor

functional-linear-algebra

agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0

Agda: mark packages as broken until 2.6.2 compatible release is made

treewide: remove stdenv where not needed

standard-library

agdaPackages.standard-library: 1.7.3 -> 2.0