Index of /ubuntu/pool/universe/p/proofgeneral/?C=S&O=A

/ubuntu/pool/universe/p/proofgeneral/

File Name  ↓ File Size  ↓ Date  ↓ 
--
1.9 KiB2014-Nov-16 18:33
1.9 KiB2019-Dec-19 12:58
1.9 KiB2017-Jan-17 00:13
2.0 KiB2023-Aug-17 12:16
2.0 KiB2014-Feb-28 07:38
2.1 KiB2024-Nov-27 18:56
16.8 KiB2023-Aug-17 12:16
17.0 KiB2024-Nov-27 18:56
18.7 KiB2014-Feb-28 07:38
19.0 KiB2014-Nov-16 18:33
19.3 KiB2017-Jan-17 00:13
19.4 KiB2019-Dec-19 12:58
353.1 KiB2014-Feb-28 07:38
355.7 KiB2014-Nov-16 18:34
529.7 KiB2019-Dec-19 13:28
529.9 KiB2017-Jan-17 00:23
576.4 KiB2024-Nov-27 18:56
576.5 KiB2023-Aug-17 12:49
642.3 KiB2014-Feb-28 07:38
646.3 KiB2024-Nov-27 18:56
655.4 KiB2019-Dec-19 13:28
655.8 KiB2017-Jan-17 00:23
664.9 KiB2014-Nov-16 18:34
667.2 KiB2023-Aug-17 12:49
1023.1 KiB2013-May-18 12:33
1.1 MiB2023-Aug-17 12:16
8.9 MiB2017-Jan-17 00:13
11.1 MiB2014-Oct-25 07:32