nixpkgs/pkgs/development/libraries/agda/ at 18.09-beta · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / libraries / agda /

at 18.09-beta 9 folders

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

TotalParserCombinators

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

agda-iowa-stdlib

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

AgdaStdlib: 0.15 -> 0.16 (#44550)

7 years ago

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

pkgs: refactor needless quoting of homepage meta attribute (#27809)

8 years ago

pretty: mark as broken

7 years ago