Index of /ubuntu/pool/universe/c/cvc4/?C=N&O=D

/ubuntu/pool/universe/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
--
365.1 KiB2024-Mar-31 15:36
349.1 KiB2020-Sep-30 11:28
355.6 KiB2020-Feb-03 18:45
381.1 KiB2017-Nov-03 01:59
355.2 KiB2017-Nov-03 01:57
122.3 KiB2024-Mar-31 15:36
120.3 KiB2020-Sep-30 11:28
7.0 MiB2020-Feb-03 18:45
6.1 MiB2017-Nov-03 01:59
5.7 MiB2017-Nov-03 01:57
4.5 MiB2024-Mar-31 15:36
5.4 MiB2020-Sep-30 11:28
4.3 MiB2020-Feb-03 18:45
3.5 MiB2017-Nov-03 01:59
3.2 MiB2017-Nov-03 01:57
7.2 MiB2020-Sep-30 10:43
73.6 KiB2024-Mar-31 15:36
2.3 KiB2024-Mar-31 13:36
16.5 KiB2024-Mar-31 13:36
71.6 KiB2020-Sep-30 11:28
2.2 KiB2020-Sep-30 10:43
16.1 KiB2020-Sep-30 10:43
7.5 MiB2018-Aug-12 00:13
134.5 KiB2020-Feb-03 18:45
2.7 KiB2020-Feb-03 17:24
8.2 KiB2020-Feb-03 17:24
7.6 MiB2017-Nov-01 08:57
139.5 KiB2017-Nov-03 01:59
135.4 KiB2017-Nov-03 01:57
2.2 KiB2017-Nov-01 08:57
5.9 KiB2017-Nov-01 08:57