Index of /debian/pool/main/f/flocq/

NameLast ModifiedSizeType
../ -  Directory
libcoq-flocq_4.1.0-3+b1_amd64.deb2023-Feb-13 00:26:513.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.0-3+b1_arm64.deb2023-Feb-13 00:27:043.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.0-3+b1_armhf.deb2023-Feb-13 00:42:143.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.0-3+b1_i386.deb2023-Feb-13 00:26:583.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.3-1+b1_amd64.deb2024-Mar-19 14:51:173.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.3-1+b1_arm64.deb2024-Mar-19 14:56:303.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.3-1+b1_armhf.deb2024-Mar-26 11:48:163.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.3-1+b1_i386.deb2024-Mar-19 14:51:163.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.3-1_amd64.deb2023-Dec-22 06:12:383.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.3-1_arm64.deb2023-Dec-22 06:07:323.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.3-1_armhf.deb2023-Dec-22 06:07:273.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.3-1_i386.deb2023-Dec-22 06:12:363.1Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.4-1_amd64.deb2024-Apr-27 18:08:493.3Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.4-1_arm64.deb2024-Apr-27 18:14:213.3Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.4-1_armhf.deb2024-Apr-27 18:08:553.3Mapplication/vnd.debian.binary-package
libcoq-flocq_4.1.4-1_i386.deb2024-Apr-27 13:50:183.3Mapplication/vnd.debian.binary-package
lighttpd/1.4.53