|
mirror.unix-solutions.behosted by Unix-Solutions services: http, https, rsync |
|---|
Index of /raspbian/raspbian/pool/main/c/coq-iris
| File | Last Modified | Size |
|---|---|---|
| 📂 Parent Directory | ||
| 📄 coq-iris_4.0.0-3.debian.tar.xz | 2023-01-26 12:44:42 | 11.7 KB |
| 📄 coq-iris_4.0.0-3.dsc | 2023-01-26 12:44:42 | 2.1 KB |
| 📄 coq-iris_4.0.0.orig.tar.gz | 2022-08-19 09:47:35 | 684.73 KB |
| 📄 coq-iris_4.3.0-1.debian.tar.xz | 2024-11-20 10:07:51 | 12.36 KB |
| 📄 coq-iris_4.3.0-1.dsc | 2024-11-20 10:07:51 | 2.11 KB |
| 📄 coq-iris_4.3.0.orig.tar.bz2 | 2024-11-20 10:07:51 | 608.03 KB |
| 📄 coq-iris_4.5.0-2.debian.tar.xz | 2026-07-28 16:34:41 | 12.67 KB |
| 📄 coq-iris_4.5.0-2.dsc | 2026-07-28 16:34:41 | 2.12 KB |
| 📄 coq-iris_4.5.0.orig.tar.gz | 2026-07-10 17:39:32 | 797.15 KB |
| 📄 libcoq-iris_4.0.0-3+b3_armhf.deb | 2023-05-22 10:08:02 | 11.14 MB |
| 📄 libcoq-iris_4.5.0-2_armhf.deb | 2026-08-11 04:08:01 | 12.62 MB |