Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /raspbian/raspbian/pool/main/c/coqeal

File Last Modified Size
📂 Parent Directory
📄 coqeal_1.1.1-3.debian.tar.xz2023-01-27 16:30:572.11 KB
📄 coqeal_1.1.1-3.dsc2023-01-27 16:30:572.11 KB
📄 coqeal_1.1.1.orig.tar.gz2022-07-08 07:23:08213.62 KB
📄 coqeal_2.1.0-1.debian.tar.xz2025-03-18 12:33:542.35 KB
📄 coqeal_2.1.0-1.dsc2025-03-18 12:33:542.13 KB
📄 coqeal_2.1.0.orig.tar.gz2025-03-18 12:33:54221.4 KB
📄 libcoq-coqeal_1.1.1-3+b2_armhf.deb2023-05-23 00:56:514.4 MB