Index of /ubuntu/pool/universe/c/coq-deriving/

---

../
coq-deriving_0.2.0-1build5.debian.tar.xz           08-Apr-2024 09:57    2384
coq-deriving_0.2.0-1build5.dsc                     08-Apr-2024 09:57    2191
coq-deriving_0.2.0.orig.tar.gz                     25-Dec-2023 19:31     31K
coq-deriving_0.2.1-1build14.debian.tar.xz          07-Mar-2026 21:00    2576
coq-deriving_0.2.1-1build14.dsc                    07-Mar-2026 21:00    2116
coq-deriving_0.2.1-1build5.debian.tar.xz           19-Feb-2025 09:52    2392
coq-deriving_0.2.1-1build5.dsc                     19-Feb-2025 09:52    2112
coq-deriving_0.2.1-1build9.debian.tar.xz           31-Aug-2025 21:42    2452
coq-deriving_0.2.1-1build9.dsc                     31-Aug-2025 21:42    2112
coq-deriving_0.2.1.orig.tar.gz                     19-Dec-2024 01:41     31K
libcoq-deriving_0.2.0-1build5_amd64.deb            08-Apr-2024 19:55    480K
libcoq-deriving_0.2.1-1build14_amd64.deb           07-Mar-2026 21:01    545K
libcoq-deriving_0.2.1-1build14_amd64v3.deb         07-Mar-2026 21:02    545K
libcoq-deriving_0.2.1-1build14_arm64.deb           08-Mar-2026 11:04    545K
libcoq-deriving_0.2.1-1build5_amd64.deb            20-Feb-2025 06:20    546K
libcoq-deriving_0.2.1-1build9_amd64.deb            01-Sep-2025 21:52    544K
libcoq-deriving_0.2.1-1build9_arm64.deb            01-Sep-2025 21:52    544K

---

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.