nixpkgs/pkgs/development/libraries/agda at 1dbdffa0994d00d2b10485b40eb355cc28e96cc1 - nixpkgs - Fudo Git

public/nixpkgs

Files

History

xeji bc17a66732 pretty: mark as broken

2018-04-12 23:04:03 +02: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

AgdaStdlib: 0.14 -> 0.15

2018-03-19 21:03:33 -07: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