uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

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

Show dotfiles
Name
Last modified
Size
../
-
-
coq-reglang_1.2.1-1build5.debian.tar.xz
08-Apr-2024 07:57
8.56 KB
coq-reglang_1.2.1-1build5.dsc
08-Apr-2024 07:57
2.14 KB
coq-reglang_1.2.1-4build12.debian.tar.xz
19-Feb-2025 07:52
8.73 KB
coq-reglang_1.2.1-4build12.dsc
19-Feb-2025 07:52
2.07 KB
coq-reglang_1.2.1-4build16.debian.tar.xz
31-Aug-2025 19:42
8.79 KB
coq-reglang_1.2.1-4build16.dsc
31-Aug-2025 19:42
2.07 KB
coq-reglang_1.2.1-4build21.debian.tar.xz
07-Mar-2026 19:00
8.91 KB
coq-reglang_1.2.1-4build21.dsc
07-Mar-2026 19:00
2.07 KB
coq-reglang_1.2.1.orig.tar.gz
21-Jan-2024 05:45
67.8 KB
libcoq-reglang_1.2.1-1build5_amd64.deb
08-Apr-2024 14:36
804.98 KB
libcoq-reglang_1.2.1-4build12_amd64.deb
20-Feb-2025 04:20
971.82 KB
libcoq-reglang_1.2.1-4build16_amd64.deb
01-Sep-2025 19:52
969.83 KB
libcoq-reglang_1.2.1-4build16_arm64.deb
01-Sep-2025 19:52
969.84 KB
libcoq-reglang_1.2.1-4build21_amd64.deb
07-Mar-2026 19:01
970.39 KB
libcoq-reglang_1.2.1-4build21_amd64v3.deb
07-Mar-2026 19:02
970.45 KB
libcoq-reglang_1.2.1-4build21_arm64.deb
07-Mar-2026 19:03
970.47 KB