nixpkgs/pkgs/development/libraries/agda at 38ac3b34373f1eb75ce85edca60f22ee6a2bcd85 - nixpkgs - Fudo Git

public/nixpkgs

Files

History

Matthew Bauer fb1852f424 agda-stdlib: broken on darwin

2018-06-23 17:50:00 -04:00

..

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

2017-08-01 22:03:30 +02:00

agda-iowa-stdlib

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

2017-08-01 22:03:30 +02:00

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

2017-08-01 22:03:30 +02:00

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

2017-08-01 22:03:30 +02:00

agda-stdlib: broken on darwin

2018-06-23 17:50:00 -04:00

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

2017-08-01 22:03:30 +02:00

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

2017-08-01 22:03:30 +02:00

pretty: mark as broken

2018-04-12 23:04:03 +02:00

TotalParserCombinators

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

2017-08-01 22:03:30 +02:00