Index of /ubuntu/ubuntu/ubuntu/pool/universe/c/coq-quickchick
Name Last modified Size Description
Parent Directory -
coq-quickchick_1.6.4..> 2023-02-17 09:29 2.7K
coq-quickchick_1.6.4..> 2023-02-17 09:29 2.2K
coq-quickchick_1.6.4..> 2022-08-15 14:39 379K
coq-quickchick_2.0-2..> 2023-07-24 20:37 2.9K
coq-quickchick_2.0-2..> 2023-07-24 20:37 2.2K
coq-quickchick_2.0.2..> 2024-04-08 10:57 3.2K
coq-quickchick_2.0.2..> 2024-04-08 10:57 2.3K
coq-quickchick_2.0.2..> 2024-01-21 01:35 406K
coq-quickchick_2.0.3..> 2024-05-21 14:24 2.8K
coq-quickchick_2.0.3..> 2024-05-21 14:24 2.2K
coq-quickchick_2.0.3..> 2024-05-02 14:53 402K
coq-quickchick_2.0.o..> 2023-06-15 02:24 400K
libcoq-quickchick_1...> 2023-02-17 09:29 1.7M
libcoq-quickchick_2...> 2023-07-26 12:58 2.0M
libcoq-quickchick_2...> 2024-04-08 17:36 1.9M
libcoq-quickchick_2...> 2024-05-21 17:14 3.7M
quickchick_1.6.4-3bu..> 2023-02-17 09:29 62K
quickchick_2.0-2buil..> 2023-07-26 12:58 62K
quickchick_2.0.2-1bu..> 2024-04-08 17:36 65K
quickchick_2.0.3-2bu..> 2024-05-21 17:14 450K