[NLUUG]

Welcome to ftp.nluug.nl

The large public mirror server for open source projects hosted by NLUUG and Surfnet

/debian/pool/main/c/coq/
File Name  ↓ File Size  ↓ Date  ↓ 
-2025-Jul-25 08:12
-2025-Sep-15 13:00
2.4 KiB2020-Sep-10 06:38
2.5 KiB2025-Feb-17 16:37
2.6 KiB2022-Nov-29 08:35
29.5 KiB2025-Feb-17 16:37
32.5 KiB2022-Nov-29 08:35
36.9 KiB2020-Sep-10 06:38
1.6 MiB2020-Nov-25 07:18
1.7 MiB2020-Nov-25 07:43
1.7 MiB2023-Feb-13 01:29
1.7 MiB2023-Feb-13 01:55
1.8 MiB2020-Nov-25 07:28
1.8 MiB2025-Jun-15 01:07
1.9 MiB2023-Feb-13 01:14
1.9 MiB2025-Jun-15 04:52
2.1 MiB2020-Nov-25 07:58
2.1 MiB2025-Jun-15 05:17
2.2 MiB2023-Feb-13 01:55
4.5 MiB2022-Nov-29 08:35
4.8 MiB2025-Feb-17 16:37
5.7 MiB2020-Aug-22 09:26
7.2 MiB2020-Nov-25 07:18
7.4 MiB2020-Nov-25 07:43
7.4 MiB2020-Nov-25 07:28
7.6 MiB2020-Nov-25 07:58
17.8 MiB2020-Nov-25 07:18
17.9 MiB2020-Nov-25 07:58
17.9 MiB2020-Nov-25 07:28
18.3 MiB2020-Nov-25 07:43
20.5 MiB2023-Feb-13 01:14
20.5 MiB2023-Feb-13 01:55
20.5 MiB2023-Feb-13 01:55
20.5 MiB2023-Feb-13 01:29
20.7 MiB2023-Feb-13 01:29
21.2 MiB2023-Feb-13 01:55
21.5 MiB2023-Feb-13 01:14
22.0 MiB2023-Feb-13 01:55
22.4 MiB2025-Jun-15 01:07
22.4 MiB2025-Jun-15 04:52
22.4 MiB2025-Jun-15 05:17
22.8 MiB2020-Nov-25 07:43
22.8 MiB2020-Nov-25 07:58
24.8 MiB2025-Jun-15 01:07
24.8 MiB2025-Jun-15 04:52
25.2 MiB2025-Jun-15 05:17
33.6 MiB2020-Nov-25 07:18
34.8 MiB2020-Nov-25 07:28
40.5 MiB2023-Feb-13 01:29
40.7 MiB2023-Feb-13 01:14
40.8 MiB2023-Feb-13 01:55
41.1 MiB2023-Feb-13 01:55
65.4 MiB2025-Jun-15 05:17
65.5 MiB2025-Jun-15 01:07
67.0 MiB2025-Jun-15 01:07
67.9 MiB2025-Jun-15 04:52
70.1 MiB2025-Jun-15 04:52
71.0 MiB2025-Jun-15 05:17
83.5 MiB2023-Feb-13 01:29
83.8 MiB2020-Nov-25 07:18
84.3 MiB2020-Nov-25 07:43
85.7 MiB2023-Feb-13 01:55
86.3 MiB2020-Nov-25 07:28
88.9 MiB2023-Feb-13 01:14
91.6 MiB2020-Nov-25 07:58
97.4 MiB2023-Feb-13 01:55

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!