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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]coq-iris_4.1.0-1buil..>2024-04-08 00:57 12K 
[TXT]coq-iris_4.1.0-1buil..>2024-04-08 00:57 2.2K 
[ ]coq-iris_4.1.0.orig...>2023-12-23 09:16 732K 
[ ]coq-iris_4.3.0-1buil..>2025-02-18 23:52 13K 
[TXT]coq-iris_4.3.0-1buil..>2025-02-18 23:52 2.1K 
[ ]coq-iris_4.3.0-1buil..>2025-06-20 06:22 13K 
[TXT]coq-iris_4.3.0-1buil..>2025-06-20 06:22 2.1K 
[ ]coq-iris_4.3.0-1ubun..>2026-03-04 09:33 13K 
[TXT]coq-iris_4.3.0-1ubun..>2026-03-04 09:33 2.1K 
[ ]coq-iris_4.3.0.orig...>2024-11-20 10:47 608K 
[ ]coq-iris_4.5.0-2buil..>2026-08-31 01:08 13K 
[TXT]coq-iris_4.5.0-2buil..>2026-08-31 01:08 2.1K 
[ ]coq-iris_4.5.0-2ubun..>2026-09-01 10:35 13K 
[TXT]coq-iris_4.5.0-2ubun..>2026-09-01 10:35 2.1K 
[ ]coq-iris_4.5.0.orig...>2026-08-04 03:47 797K 
[ ]libcoq-iris_4.1.0-1b..>2024-04-08 06:14 13M 
[ ]libcoq-iris_4.3.0-1b..>2025-02-18 23:53 14M 
[ ]libcoq-iris_4.3.0-1b..>2025-06-20 10:40 14M 
[ ]libcoq-iris_4.3.0-1b..>2025-06-20 10:40 14M 
[ ]libcoq-iris_4.3.0-1u..>2026-03-04 09:34 14M 
[ ]libcoq-iris_4.3.0-1u..>2026-03-04 09:34 14M 
[ ]libcoq-iris_4.3.0-1u..>2026-03-04 09:34 14M 
[ ]libcoq-iris_4.5.0-2b..>2026-08-31 01:47 15M 
[ ]libcoq-iris_4.5.0-2b..>2026-08-31 01:47 15M 
[ ]libcoq-iris_4.5.0-2b..>2026-08-31 02:08 15M 
[ ]libcoq-iris_4.5.0-2u..>2026-09-01 10:35 15M 
[ ]libcoq-iris_4.5.0-2u..>2026-09-01 10:35 15M 
[ ]libcoq-iris_4.5.0-2u..>2026-09-01 10:35 15M