JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
a4118294e8
nixpkgs/pkgs/development/libraries/agda
History
R. RyanTM 7c5bc4fb92 AgdaStdlib: 0.16 -> 0.16.1 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/agda-stdlib/versions
2018-09-25 08:14:48 -07:00
..
agda-base 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
agda-prelude pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
Agda-Sheaves pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
agda-stdlib AgdaStdlib: 0.16 -> 0.16.1 2018-09-25 08:14:48 -07:00
bitvector pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
categories pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
pretty 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