agda
|
AgdaStdlib: 0.15 -> 0.16 (#44550)
|
2018-08-06 18:39:11 +02:00 |
libvirt
|
libvirt: 4.5.0 -> 4.6.0 (#44566)
|
2018-08-06 23:15:06 +02:00 |
libzip
|
libzip: add license
|
2018-08-09 11:13:29 +02:00 |
mpich
|
mpich: change platform to linux only
|
2018-08-06 16:59:41 +02:00 |
openssl
|
openssl_1_1_0: add patch to fix c_rehash quoting
|
2018-08-06 22:49:29 +02:00 |
zlib
|
zlib: add license
|
2018-08-09 11:13:44 +02:00 |