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

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / libraries / agda /

at 18.03-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.13 -> 0.14

8 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

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

8 years ago