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

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / libraries / agda /

at 17.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

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

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

8 years ago