Homepage Università di Trieste
MIRROR

Index of /ubuntu/pool/universe/d/dh-coq/

Index of /ubuntu/pool/universe/d/dh-coq/


../
debian-coq-tools_0.14_all.deb                      18-Feb-2025 21:05    9834
debian-coq-tools_0.14build1_all.deb                17-Jan-2026 02:16    9922
debian-coq-tools_0.8_all.deb                       31-Jan-2024 20:25    7476
dh-coq_0.14.dsc                                    18-Feb-2025 21:04    1670
dh-coq_0.14.tar.xz                                 18-Feb-2025 21:04     10K
dh-coq_0.14_all.deb                                18-Feb-2025 21:05    6862
dh-coq_0.14build1.dsc                              17-Jan-2026 02:12    1657
dh-coq_0.14build1.tar.xz                           17-Jan-2026 02:12     10K
dh-coq_0.14build1_all.deb                          17-Jan-2026 02:16    6934
dh-coq_0.8.dsc                                     31-Jan-2024 19:45    1651
dh-coq_0.8.tar.xz                                  31-Jan-2024 19:45    8444
dh-coq_0.8_all.deb                                 31-Jan-2024 20:25    6766

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.