Current bandwidth utilization 66.14 Mbit/s
Acest serviciu este pus la dispozitie in mod gratuit de LUG.RO si gazduit gratuit cu amabilitatea iNES. Folosirea serviciului este un privilegiu si nu un beneficiu, va rugam sa nu abuzati.
Current bandwidth utilization 66.14 Mbit/s
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| coq-stdpp_1.9.0.orig.tar.gz | 290.5 KiB | 2023-Dec-22 20:26 |
| coq-stdpp_1.9.0-1build3.debian.tar.xz | 2.7 KiB | 2024-Apr-08 10:57 |
| coq-stdpp_1.9.0-1build3.dsc | 2.1 KiB | 2024-Apr-08 10:57 |
| libcoq-stdpp_1.9.0-1build3_amd64.deb | 5.0 MiB | 2024-Apr-08 10:57 |
| coq-stdpp_1.10.0.orig.tar.gz | 296.1 KiB | 2024-May-02 15:38 |
| coq-stdpp_1.10.0-2build3.dsc | 2.0 KiB | 2024-Sep-07 18:43 |
| coq-stdpp_1.10.0-2build3.debian.tar.xz | 2.8 KiB | 2024-Sep-07 18:43 |
| libcoq-stdpp_1.10.0-2build3_amd64.deb | 5.2 MiB | 2024-Sep-07 18:44 |
| coq-stdpp_1.11.0.orig.tar.bz2 | 251.0 KiB | 2024-Nov-20 21:47 |
| coq-stdpp_1.11.0-1build4.debian.tar.xz | 2.9 KiB | 2025-Feb-19 00:25 |
| coq-stdpp_1.11.0-1build4.dsc | 2.0 KiB | 2025-Feb-19 00:25 |
| libcoq-stdpp_1.11.0-1build4_amd64.deb | 5.4 MiB | 2025-Feb-19 00:25 |