ubuntu/pool/universe/a/agda-stdlib • Public Open Source Mirror

Home / ubuntu / pool / universe / a / agda-stdlib

File Name

Size

Date

..

—

—
agda-stdlib-doc_0.11-1_all.deb

1.21MB

2016-01-05 03:20:13

agda-stdlib-doc_0.14-1_all.deb

1.02MB

2017-11-26 20:04:45

agda-stdlib-doc_0.7-2_all.deb

1.67MB

2013-05-28 02:33:48

agda-stdlib-doc_1.1-1_all.deb

1.82MB

2019-09-06 18:48:27

agda-stdlib-doc_1.3-2_all.deb

2.33MB

2020-08-02 08:43:41

agda-stdlib-doc_1.7.1-1_all.deb

2.84MB

2022-08-26 22:09:39

agda-stdlib-doc_1.7.3-1_all.deb

2.84MB

2023-11-11 01:50:08

agda-stdlib-doc_2.1-3_all.deb

3.43MB

2024-10-31 21:19:26

agda-stdlib_0.11-1.debian.tar.xz

4.49KB

2016-01-05 01:25:05

agda-stdlib_0.11-1.dsc

2.06KB

2016-01-05 01:25:05

agda-stdlib_0.11-1_all.deb

16.69MB

2016-01-05 03:20:12

agda-stdlib_0.11.orig.tar.gz

247.32KB

2016-01-05 01:25:05

agda-stdlib_0.14-1.debian.tar.xz

5.07KB

2017-11-26 19:08:38

agda-stdlib_0.14-1.dsc

2.05KB

2017-11-26 19:08:38

agda-stdlib_0.14-1_all.deb

17.32MB

2017-11-26 20:04:46

agda-stdlib_0.14.orig.tar.gz

278.69KB

2017-11-26 13:14:14

agda-stdlib_0.7-2.debian.tar.gz

4.35KB

2013-05-28 02:33:44

agda-stdlib_0.7-2.dsc

2.03KB

2013-05-28 02:33:44

agda-stdlib_0.7-2_all.deb

17.30MB

2013-05-28 02:33:50

agda-stdlib_0.7.orig.tar.gz

221.09KB

2013-04-10 21:03:22

agda-stdlib_1.1-1.debian.tar.xz

5.40KB

2019-09-06 18:48:22

agda-stdlib_1.1-1.dsc

2.07KB

2019-09-06 18:48:22

agda-stdlib_1.1-1_all.deb

45.19MB

2019-09-06 18:48:27

agda-stdlib_1.1.orig.tar.gz

556.74KB

2019-09-04 16:38:22

agda-stdlib_1.3-2.debian.tar.xz

5.51KB

2020-08-02 08:13:38

agda-stdlib_1.3-2.dsc

2.06KB

2020-08-02 08:13:38

agda-stdlib_1.3-2_all.deb

69.83MB

2020-08-02 08:43:42

agda-stdlib_1.3.orig.tar.gz

733.80KB

2020-08-02 02:33:38

agda-stdlib_1.7.1-1.debian.tar.xz

5.53KB

2022-08-07 02:19:17

agda-stdlib_1.7.1-1.dsc

2.11KB

2022-08-07 02:19:17

agda-stdlib_1.7.1-1_all.deb

97.96MB

2022-08-26 22:09:39

agda-stdlib_1.7.1.orig.tar.gz

918.10KB

2022-08-07 02:19:17

agda-stdlib_1.7.3-1.debian.tar.xz

5.60KB

2023-11-04 20:15:53

agda-stdlib_1.7.3-1.dsc

2.11KB

2023-11-04 20:15:53

agda-stdlib_1.7.3-1_all.deb

114.96MB

2023-11-11 01:50:08

agda-stdlib_1.7.3.orig.tar.gz

920.01KB

2023-11-04 20:15:53

agda-stdlib_2.1-3.debian.tar.xz

5.88KB

2024-10-31 19:16:16

agda-stdlib_2.1-3.dsc

2.17KB

2024-10-31 19:16:15

agda-stdlib_2.1-3_all.deb

136.31MB

2024-10-31 21:19:27

agda-stdlib_2.1.orig.tar.gz

1.16MB

2024-10-31 19:16:16