Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /raspbian/raspbian/pool/main/c/coq-reglang

File Last Modified Size
📂 Parent Directory
📄 coq-reglang_1.1.3-2.debian.tar.xz2023-01-26 12:44:458.2 KB
📄 coq-reglang_1.1.3-2.dsc2023-01-26 12:44:452.06 KB
📄 coq-reglang_1.1.3.orig.tar.gz2022-07-15 21:06:3865.45 KB
📄 coq-reglang_1.2.1-4.debian.tar.xz2024-08-04 06:22:008.43 KB
📄 coq-reglang_1.2.1-4.dsc2024-08-04 06:22:001.84 KB
📄 coq-reglang_1.2.1.orig.tar.gz2024-01-20 20:13:2267.8 KB
📄 libcoq-reglang_1.1.3-2+b3_armhf.deb2023-05-22 04:08:01707.32 KB