/debian/pool/main/c/coq-gappa/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
libcoq-gappa_1.5.5-2+b4_amd64.deb	487.9 KiB	2024-Nov-20 16:40
libcoq-gappa_1.5.5-2+b3_amd64.deb	488.0 KiB	2024-Nov-20 15:37
libcoq-gappa_1.5.5-2+b2_amd64.deb	504.5 KiB	2024-Aug-21 04:19
coq-gappa_1.5.5-2.debian.tar.xz	2.3 KiB	2024-Aug-04 05:19
coq-gappa_1.5.5-2.dsc	1.8 KiB	2024-Aug-04 05:19
coq-gappa_1.5.5.orig.tar.bz2	71.9 KiB	2024-Apr-26 14:01
libcoq-gappa_1.5.2-5+b1_amd64.deb	503.7 KiB	2023-Feb-13 07:28
libcoq-gappa_1.5.2-5+b1_i386.deb	500.3 KiB	2023-Feb-13 07:08
coq-gappa_1.5.2-5.debian.tar.xz	2.0 KiB	2023-Jan-26 12:44
coq-gappa_1.5.2-5.dsc	2.0 KiB	2023-Jan-26 12:44
coq-gappa_1.5.2.orig.tar.bz2	71.8 KiB	2022-Jul-19 07:00