|
2018-12-21 05:08:19 UTC |
Superseded |
Disco
|
release |
universe |
libs |
0.14-1
|
-
Removal requested
.
-
Superseded
by agda-stdlib - 0.17-1
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2020-07-13 02:35:12 UTC |
Obsolete |
Cosmic
|
release |
universe |
libs |
0.14-1
|
-
Removal requested
.
-
Published
-
Copied from
debian sid in
Primary Archive for Debian GNU/Linux
|
|
2017-11-26 18:48:15 UTC |
Published |
Bionic
|
release |
universe |
libs |
0.14-1
|
|
|
|
Deleted |
Bionic
|
proposed |
universe |
libs |
0.14-1
|
|