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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]libcoq-flocq_4.2.0-1..>2024-11-21 05:06 3.3M 
[ ]libcoq-flocq_4.2.0-1..>2024-11-20 17:46 3.3M 
[ ]libcoq-flocq_4.2.0-1..>2024-11-20 17:40 3.3M 
[ ]libcoq-flocq_4.2.0-1..>2024-11-20 17:40 3.3M 
[ ]libcoq-flocq_4.2.0-1..>2024-11-20 17:40 3.3M 
[ ]flocq_4.2.0.orig.tar..>2024-11-20 11:02 326K 
[TXT]flocq_4.2.0-1.dsc 2024-11-20 11:02 2.0K 
[ ]flocq_4.2.0-1.debian..>2024-11-20 11:02 1.9K 
[ ]libcoq-flocq_4.1.4-2..>2024-08-30 17:25 3.3M 
[ ]libcoq-flocq_4.1.4-2..>2024-08-21 08:32 3.3M 
[ ]libcoq-flocq_4.1.4-2..>2024-08-21 06:19 3.3M 
[ ]libcoq-flocq_4.1.4-2..>2024-08-21 05:59 3.3M 
[ ]libcoq-flocq_4.1.4-2..>2024-08-21 05:59 3.3M 
[TXT]flocq_4.1.4-2.dsc 2024-08-04 05:53 1.7K 
[ ]flocq_4.1.4-2.debian..>2024-08-04 05:53 1.9K 
[ ]flocq_4.1.4.orig.tar..>2024-04-26 16:01 326K 
[ ]libcoq-flocq_4.1.0-3..>2023-02-13 06:42 3.2M 
[ ]libcoq-flocq_4.1.0-3..>2023-02-13 06:42 3.2M 
[ ]libcoq-flocq_4.1.0-3..>2023-02-13 06:27 3.2M 
[ ]libcoq-flocq_4.1.0-3..>2023-02-13 06:26 3.2M 
[ ]libcoq-flocq_4.1.0-3..>2023-02-13 06:26 3.2M 
[ ]libcoq-flocq_4.1.0-3..>2023-02-13 06:16 3.2M 
[TXT]flocq_4.1.0-3.dsc 2023-01-25 09:53 2.0K 
[ ]flocq_4.1.0-3.debian..>2023-01-25 09:53 1.5K 
[ ]flocq_4.1.0.orig.tar..>2022-06-29 14:40 325K