Index of /loongnix/25/pool/main/e/eprover/

../
eprover-dbgsym_3.2.5+ds-1_loong64.deb              22-Sep-2025 09:40              150076
eprover_3.2.5+ds-1.debian.tar.xz                   22-Sep-2025 09:40                4444
eprover_3.2.5+ds-1.dsc                             22-Sep-2025 09:40                1019
eprover_3.2.5+ds-1_loong64.deb                     22-Sep-2025 09:40              995480
eprover_3.2.5+ds.orig.tar.xz                       22-Sep-2025 09:40             1035484