Index of /debian/pool/main/a/agda-stdlib/

---

../
agda-stdlib-doc_1.3-2_all.deb                      01-Aug-2020 15:34      2M
agda-stdlib-doc_1.7.1-1_all.deb                    06-Aug-2022 20:46      3M
agda-stdlib-doc_2.1-4_all.deb                      25-Nov-2024 21:39      4M
agda-stdlib-doc_2.3-1_all.deb                      15-Feb-2026 18:59      4M
agda-stdlib_1.3-2.debian.tar.xz                    01-Aug-2020 14:54    5640
agda-stdlib_1.3-2.dsc                              01-Aug-2020 14:54    2113
agda-stdlib_1.3-2_all.deb                          01-Aug-2020 15:34     70M
agda-stdlib_1.3.orig.tar.gz                        31-Jul-2020 13:50    734K
agda-stdlib_1.7.1-1.debian.tar.xz                  06-Aug-2022 19:10    5664
agda-stdlib_1.7.1-1.dsc                            06-Aug-2022 19:10    2157
agda-stdlib_1.7.1-1_all.deb                        06-Aug-2022 20:46     95M
agda-stdlib_1.7.1.orig.tar.gz                      06-Aug-2022 19:10    918K
agda-stdlib_2.1-4.debian.tar.xz                    25-Nov-2024 21:03    6060
agda-stdlib_2.1-4.dsc                              25-Nov-2024 21:03    2224
agda-stdlib_2.1-4_all.deb                          25-Nov-2024 21:39    137M
agda-stdlib_2.1.orig.tar.gz                        18-Oct-2024 23:34      1M
agda-stdlib_2.3-1.debian.tar.xz                    15-Feb-2026 18:23    6088
agda-stdlib_2.3-1.dsc                              15-Feb-2026 18:23    2219
agda-stdlib_2.3-1_all.deb                          15-Feb-2026 18:59    146M
agda-stdlib_2.3.orig.tar.gz                        15-Feb-2026 18:23      1M

---

This mirror is provided by University of Trieste - rete@units.it

NO WARRANTY

THIS MIRROR IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE MIRROR IS WITH YOU. SHOULD THE MIRROR PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION.

IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING WILL UNIVERSITY OF TRIESTE OR ANY PEOPLE INVLOLVED IN SERVICING THE MIRROR BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THE MIRROR (INCLUDING BUT NOT LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), EVEN IF UNIVERSITY OF TRIESTE AND PEOPLE INVLOLVED IN SERVICING THE MIRROR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.