Index of /ubuntu/ubuntu/pool/universe/c/coqeal

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]coqeal_1.1.1-1build1.debian.tar.xz30-Aug-2022 08:48 2.1K 
[TXT]coqeal_1.1.1-1build1.dsc30-Aug-2022 08:48 2.1K 
[   ]coqeal_1.1.1-2build3.debian.tar.xz31-Dec-2022 09:04 2.2K 
[TXT]coqeal_1.1.1-2build3.dsc31-Dec-2022 09:04 2.1K 
[   ]coqeal_1.1.1-2build4.debian.tar.xz27-Jan-2023 06:04 2.2K 
[TXT]coqeal_1.1.1-2build4.dsc27-Jan-2023 06:04 2.1K 
[   ]coqeal_1.1.1-3.debian.tar.xz27-Jan-2023 20:34 2.1K 
[TXT]coqeal_1.1.1-3.dsc27-Jan-2023 20:34 2.1K 
[   ]coqeal_1.1.1.orig.tar.gz08-Jul-2022 09:34 214K 
[   ]libcoq-coqeal_1.1.1-1build1_amd64.deb30-Aug-2022 10:29 5.1M 
[   ]libcoq-coqeal_1.1.1-2build3_amd64.deb31-Dec-2022 09:04 5.1M 
[   ]libcoq-coqeal_1.1.1-2build4_amd64.deb27-Jan-2023 06:04 5.1M 
[   ]libcoq-coqeal_1.1.1-3_amd64.deb27-Jan-2023 20:34 5.1M 

Apache/2.2.15 (Scientific Linux) Server at gl.archive.ubuntu.com Port 80