Index of /ubuntu/pool/universe/c/coq-hott

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]coq-hott_8.15-2.debi..>2022-07-09 07:24 2.4K 
[TXT]coq-hott_8.15-2.dsc 2022-07-09 07:24 2.0K 
[ ]coq-hott_8.15-3.debi..>2022-07-17 01:24 2.4K 
[TXT]coq-hott_8.15-3.dsc 2022-07-17 01:24 2.0K 
[ ]coq-hott_8.15-4.debi..>2022-08-23 01:34 2.7K 
[TXT]coq-hott_8.15-4.dsc 2022-08-23 01:34 2.0K 
[ ]coq-hott_8.15.orig.t..>2022-07-09 07:24 820K 
[ ]coq-hott_8.16-1.debi..>2022-11-06 11:17 2.5K 
[TXT]coq-hott_8.16-1.dsc 2022-11-06 11:17 2.0K 
[ ]coq-hott_8.16-1build..>2022-11-25 16:39 2.5K 
[TXT]coq-hott_8.16-1build..>2022-11-25 16:39 2.0K 
[ ]coq-hott_8.16-1build..>2022-11-26 02:40 2.6K 
[TXT]coq-hott_8.16-1build..>2022-11-26 02:40 2.0K 
[ ]coq-hott_8.16-1build..>2022-12-03 17:59 2.6K 
[TXT]coq-hott_8.16-1build..>2022-12-03 17:59 2.0K 
[ ]coq-hott_8.16-2.debi..>2023-01-25 19:49 2.5K 
[TXT]coq-hott_8.16-2.dsc 2023-01-25 19:49 2.0K 
[ ]coq-hott_8.16-2build..>2023-01-26 21:54 2.6K 
[TXT]coq-hott_8.16-2build..>2023-01-26 21:54 2.0K 
[ ]coq-hott_8.16-2build..>2023-02-17 02:50 2.6K 
[TXT]coq-hott_8.16-2build..>2023-02-17 02:50 2.0K 
[ ]coq-hott_8.16.orig.t..>2022-11-06 11:17 848K 
[ ]coq-hott_8.17-1.debi..>2023-06-13 13:30 2.5K 
[TXT]coq-hott_8.17-1.dsc 2023-06-13 13:30 2.0K 
[ ]coq-hott_8.17-1build..>2023-07-26 13:19 2.6K 
[TXT]coq-hott_8.17-1build..>2023-07-26 13:19 2.0K 
[ ]coq-hott_8.17.orig.t..>2023-06-13 13:30 887K 
[ ]coq-hott_8.18-1.debi..>2023-09-04 16:09 2.8K 
[TXT]coq-hott_8.18-1.dsc 2023-09-04 16:09 2.0K 
[ ]coq-hott_8.18-1build..>2023-11-07 00:14 2.9K 
[TXT]coq-hott_8.18-1build..>2023-11-07 00:14 2.0K 
[ ]coq-hott_8.18-1build..>2023-11-23 08:05 2.9K 
[TXT]coq-hott_8.18-1build..>2023-11-23 08:05 2.0K 
[ ]coq-hott_8.18-3.debi..>2023-12-23 01:26 2.8K 
[TXT]coq-hott_8.18-3.dsc 2023-12-23 01:26 2.0K 
[ ]coq-hott_8.18-3build..>2023-12-23 09:42 2.9K 
[TXT]coq-hott_8.18-3build..>2023-12-23 09:42 2.0K 
[ ]coq-hott_8.18-3build..>2024-03-24 08:53 3.0K 
[TXT]coq-hott_8.18-3build..>2024-03-24 08:53 2.1K 
[ ]coq-hott_8.18-3build..>2024-04-01 02:36 3.0K 
[TXT]coq-hott_8.18-3build..>2024-04-01 02:36 2.1K 
[ ]coq-hott_8.18-3build..>2024-04-08 15:57 3.1K 
[TXT]coq-hott_8.18-3build..>2024-04-08 15:57 2.1K 
[ ]coq-hott_8.18.orig.t..>2023-09-04 16:09 888K 
[ ]coq-hott_8.19-1.debi..>2024-05-02 19:53 2.8K 
[TXT]coq-hott_8.19-1.dsc 2024-05-02 19:53 2.0K 
[ ]coq-hott_8.19-1build..>2024-05-03 04:28 2.9K 
[TXT]coq-hott_8.19-1build..>2024-05-03 04:28 2.0K 
[ ]coq-hott_8.19-1build..>2024-05-14 02:39 2.9K 
[TXT]coq-hott_8.19-1build..>2024-05-14 02:39 2.0K 
[ ]coq-hott_8.19.orig.t..>2024-05-02 19:53 961K 
[ ]libcoq-hott_8.15-2_a..>2022-07-09 13:39 16M 
[ ]libcoq-hott_8.15-3_a..>2022-07-17 01:24 16M 
[ ]libcoq-hott_8.15-4_a..>2022-08-23 01:34 16M 
[ ]libcoq-hott_8.16-1_a..>2022-11-06 11:22 17M 
[ ]libcoq-hott_8.16-1bu..>2022-11-25 16:39 16M 
[ ]libcoq-hott_8.16-1bu..>2022-11-26 02:41 16M 
[ ]libcoq-hott_8.16-1bu..>2022-12-03 17:59 16M 
[ ]libcoq-hott_8.16-2bu..>2023-01-26 21:54 16M 
[ ]libcoq-hott_8.16-2bu..>2023-02-17 02:50 16M 
[ ]libcoq-hott_8.17-1_a..>2023-06-13 13:30 16M 
[ ]libcoq-hott_8.17-1bu..>2023-07-26 14:22 16M 
[ ]libcoq-hott_8.18-1_a..>2023-09-04 16:50 16M 
[ ]libcoq-hott_8.18-1bu..>2023-11-07 00:44 16M 
[ ]libcoq-hott_8.18-1bu..>2023-11-23 08:05 16M 
[ ]libcoq-hott_8.18-3_a..>2023-12-23 01:27 22M 
[ ]libcoq-hott_8.18-3bu..>2023-12-23 09:42 18M 
[ ]libcoq-hott_8.18-3bu..>2024-03-24 08:53 14M 
[ ]libcoq-hott_8.18-3bu..>2024-04-01 03:32 14M 
[ ]libcoq-hott_8.18-3bu..>2024-04-08 15:57 14M 
[ ]libcoq-hott_8.19-1_a..>2024-05-02 19:53 15M 
[ ]libcoq-hott_8.19-1bu..>2024-05-03 04:28 15M 
[ ]libcoq-hott_8.19-1bu..>2024-05-14 02:40 15M