|
mirror.unix-solutions.behosted by Unix-Solutions services: http, https, rsync |
|---|
Index of /ubuntu/pool/universe/c/coqeal
| File | Last Modified | Size |
|---|---|---|
| 📂 Parent Directory | ||
| 📄 coqeal_2.0.1-1build5.debian.tar.xz | 2024-04-08 07:57:38 | 2.5 KB |
| 📄 coqeal_2.0.1-1build5.dsc | 2024-04-08 07:57:38 | 2.2 KB |
| 📄 coqeal_2.0.1.orig.tar.gz | 2024-01-21 05:45:48 | 211.73 KB |
| 📄 coqeal_2.0.2-2build5.debian.tar.xz | 2024-09-17 16:56:31 | 2.49 KB |
| 📄 coqeal_2.0.2-2build5.dsc | 2024-09-17 16:56:31 | 2.12 KB |
| 📄 coqeal_2.0.2.orig.tar.gz | 2024-05-03 01:55:06 | 211.95 KB |
| 📄 coqeal_2.0.3-1build6.debian.tar.xz | 2025-02-19 07:52:06 | 2.52 KB |
| 📄 coqeal_2.0.3-1build6.dsc | 2025-02-19 07:52:06 | 2.12 KB |
| 📄 coqeal_2.0.3.orig.tar.gz | 2024-12-18 23:41:43 | 211.92 KB |
| 📄 libcoq-coqeal_2.0.1-1build5_amd64.deb | 2024-04-09 07:42:31 | 5.26 MB |
| 📄 libcoq-coqeal_2.0.2-2build5_amd64.deb | 2024-09-20 04:15:36 | 5.73 MB |
| 📄 libcoq-coqeal_2.0.3-1build6_amd64.deb | 2025-02-20 17:00:17 | 5.92 MB |