| coq-extructures_0.4.0-1build5.debian.tar.xz | 2.43 KB | 04/08/2024, 07:57:39 |
| coq-extructures_0.4.0-1build5.dsc | 2.19 KB | 04/08/2024, 07:57:39 |
| coq-extructures_0.4.0.orig.tar.gz | 41.19 KB | 12/26/2023, 17:17:07 |
| coq-extructures_0.5.0-1build10.debian.tar.xz | 2.55 KB | 08/31/2025, 19:42:10 |
| coq-extructures_0.5.0-1build10.dsc | 2.12 KB | 08/31/2025, 19:42:10 |
| coq-extructures_0.5.0-1build11.debian.tar.xz | 2.57 KB | 10/23/2025, 00:05:08 |
| coq-extructures_0.5.0-1build11.dsc | 2.12 KB | 10/23/2025, 00:05:08 |
| coq-extructures_0.5.0-1build6.debian.tar.xz | 2.49 KB | 02/19/2025, 07:52:17 |
| coq-extructures_0.5.0-1build6.dsc | 2.11 KB | 02/19/2025, 07:52:17 |
| coq-extructures_0.5.0.orig.tar.gz | 41.63 KB | 12/18/2024, 23:41:45 |
| libcoq-extructures_0.4.0-1build5_amd64.deb | 714.56 KB | 04/09/2024, 06:03:24 |
| libcoq-extructures_0.5.0-1build10_amd64.deb | 821.07 KB | 09/02/2025, 08:36:01 |
| libcoq-extructures_0.5.0-1build11_amd64.deb | 821.03 KB | 10/26/2025, 13:30:00 |
| libcoq-extructures_0.5.0-1build11_amd64v3.deb | 821.04 KB | 10/26/2025, 13:30:18 |
| libcoq-extructures_0.5.0-1build6_amd64.deb | 822.77 KB | 02/20/2025, 09:57:01 |
