Name | Last modified | Size |
---|---|---|
Parent Directory | 10-Jul-2024 05:27 | |
SimplePAMApps-0.60-alt36 | 10-Jul-2024 00:06 | 16390 |
airsane-0.3.5-alt1 | 10-Jul-2024 02:27 | 58076 |
alsa-utils-1:1.2.10-alt2 | 10-Jul-2024 02:55 | 107673 |
apt-conf-tmp-cache-1.0-alt1 | 10-Jul-2024 00:04 | 3538 |
asusctl-5.0.9-alt2.2 | 10-Jul-2024 02:54 | 47870 |
basqet-0.2.0-alt2 | 10-Jul-2024 02:06 | 23920 |
blender-4.1.1-alt2 | 10-Jul-2024 02:42 | 468314 |
brightnessctl-0.5.1-alt1 | 10-Jul-2024 00:11 | 5883 |
broot-1.36.1-alt1 | 10-Jul-2024 02:38 | 16925 |
bsc-4.1.0-alt1.qa1 | 10-Jul-2024 01:34 | 29183 |
canl-java-2.8.2-alt1_1jpp11 | 10-Jul-2024 03:23 | 219172 |
consolelocker-1.1.0-alt1 | 10-Jul-2024 00:06 | 14333 |
crosti-1.14.0-alt1 | 10-Jul-2024 02:06 | 118394 |
dataquay-0.9-alt1 | 10-Jul-2024 01:20 | 146751 |
deepin-app-services-1.0.25-alt1 | 10-Jul-2024 02:55 | 99848 |
deepin-control-center-6.0.47-alt2 | 10-Jul-2024 04:33 | 424773 |
deepin-file-manager-6.0.44-alt1 | 10-Jul-2024 03:43 | 751631 |
deepin-log-viewer-6.1.11-alt1 | 10-Jul-2024 04:14 | 380222 |
deepin-service-manager-1.0.3-alt1.gitd16282e | 10-Jul-2024 01:56 | 67358 |
dm-secdel-1.0.9-alt3 | 10-Jul-2024 03:09 | 21771 |
dnf-4.13.0-alt2 | 10-Jul-2024 01:25 | 107668 |
dotnet-runtime-6.0-6.0.25-alt1 | 10-Jul-2024 04:10 | 1035204 |
dotnet-runtime-7.0-7.0.17-alt1 | 10-Jul-2024 04:18 | 918366 |
dotnet-runtime-8.0-8.0.3-alt1 | 10-Jul-2024 04:12 | 523506 |
dotnet-runtime-9.0-9.0.0.preview.2-alt1 | 10-Jul-2024 04:14 | 206889 |
eggwm-0.2-alt1.qa1 | 10-Jul-2024 02:19 | 31417 |
ejabberd-21.12-alt1 | 10-Jul-2024 03:11 | 137580 |
epsonscan2-6.7.43.0-alt1 | 10-Jul-2024 04:03 | 9908962 |
etckeeper-1.18.21-alt2 | 10-Jul-2024 00:04 | 9085 |
faketime-0.2.8-alt1 | 10-Jul-2024 02:51 | 80998 |
firefox-esr-115.11.0-alt1 | 10-Jul-2024 02:37 | 354351 |
fleet-commander-admin-0.15.1-alt13 | 10-Jul-2024 03:20 | 67895 |
fonts-otf-fontawesome5-5.15.4-alt1_2 | 10-Jul-2024 00:06 | 92634 |
fonts-otf-marcsabatella-campania-2.009-alt1_5 | 10-Jul-2024 00:05 | 92003 |
fonts-otf-steinberg-bravura-1.392-alt1_2 | 10-Jul-2024 00:05 | 92459 |
fonts-otf-steinberg-petaluma-1.065-alt1_2 | 10-Jul-2024 00:05 | 92569 |
fonts-ttf-material-icons-4.0.0-alt1_6 | 10-Jul-2024 00:06 | 92116 |
foomatic-db-engine-4.0.12-alt1 | 10-Jul-2024 01:33 | 36978 |
fpc-3:3.2.2-alt4 | 10-Jul-2024 03:00 | 1034359 |
fwupd-1.9.20-alt1 | 10-Jul-2024 03:15 | 55553 |
gimagereader-3.4.2-alt1 | 10-Jul-2024 02:45 | 133388 |
givaro-4.2.0-alt3 | 10-Jul-2024 02:37 | 191751 |
gle-4.2.5-alt3 | 10-Jul-2024 04:17 | 1331531 |
gnutls30-3.8.4-alt1 | 10-Jul-2024 01:38 | 19081252 |
gpsd-3.23.1-alt2.1 | 10-Jul-2024 02:39 | 58514 |
hexalate-1.0.1-alt1.qa1 | 10-Jul-2024 01:09 | 115169 |
hexglass-1.2.1-alt1.1 | 10-Jul-2024 01:14 | 90839 |
imagescan-3.65.0-alt6 | 10-Jul-2024 04:10 | 296696 |
immix-1.3-alt15 | 10-Jul-2024 01:34 | 390042 |
include-what-you-use-0.21-alt1 | 10-Jul-2024 04:24 | 131866 |
instead-launcher-0.6.3-alt1 | 10-Jul-2024 03:59 | 688872 |
itest-1.4.1.1-alt1.svn77.1.qa1 | 10-Jul-2024 01:48 | 988204 |
jag-0.3.2-alt2 | 10-Jul-2024 02:55 | 220152 |
jal-0.3-alt1.rc1.1 | 10-Jul-2024 01:35 | 532909 |
java-1.8.0-openjdk-0:1.8.0.412.b08-alt1_1jpp8 | 10-Jul-2024 01:52 | 43120409 |
jicofo-1.1.9258-alt1 | 10-Jul-2024 01:57 | 50252 |
jreen-7:1.3.0-alt1 | 10-Jul-2024 01:46 | 86066 |
jss-5.4.2-alt2 | 10-Jul-2024 03:39 | 145712 |
kf6-attica-6.3.0-alt1 | 10-Jul-2024 03:59 | 211442 |
kf6-baloo-6.3.0-alt1 | 10-Jul-2024 04:08 | 653791 |
kf6-bluez-qt-6.3.0-alt1 | 10-Jul-2024 04:10 | 358743 |
kf6-breeze-icons-6.3.0-alt2 | 10-Jul-2024 03:42 | 7063216 |
kf6-frameworkintegration-6.3.0-alt1 | 10-Jul-2024 04:13 | 163513 |
kf6-karchive-6.3.0-alt1 | 10-Jul-2024 03:18 | 200392 |
kf6-kauth-6.3.0-alt1 | 10-Jul-2024 04:00 | 417033 |
kf6-kbookmarks-6.3.0-alt1 | 10-Jul-2024 03:33 | 358184 |
kf6-kcalendarcore-6.3.0-alt1 | 10-Jul-2024 03:36 | 173867 |
kf6-kcmutils-6.3.0-alt1 | 10-Jul-2024 03:43 | 418179 |
kf6-kcodecs-6.3.0-alt1 | 10-Jul-2024 03:27 | 388697 |
kf6-kcolorscheme-6.3.0-alt1 | 10-Jul-2024 03:07 | 111315 |
kf6-kcompletion-6.3.0-alt1 | 10-Jul-2024 03:43 | 384399 |
kf6-kconfig-6.3.0-alt1 | 10-Jul-2024 03:44 | 479275 |
kf6-kconfigwidgets-6.3.0-alt1 | 10-Jul-2024 04:17 | 197645 |
kf6-kcontacts-6.3.0-alt1 | 10-Jul-2024 04:11 | 235515 |
kf6-kcoreaddons-6.3.0-alt1 | 10-Jul-2024 04:27 | 521558 |
kf6-kcrash-6.3.0-alt1 | 10-Jul-2024 03:29 | 94866 |
kf6-kdav-6.3.0-alt1 | 10-Jul-2024 03:31 | 172720 |
kf6-kdbusaddons-6.3.0-alt1 | 10-Jul-2024 03:23 | 262533 |
kf6-kdeclarative-6.3.0-alt1 | 10-Jul-2024 03:40 | 298697 |
kf6-kdesu-6.3.0-alt1 | 10-Jul-2024 03:35 | 158831 |
kf6-kdnssd-6.3.0-alt1 | 10-Jul-2024 04:30 | 355752 |
kf6-kdoctools-6.3.0-alt1 | 10-Jul-2024 03:15 | 365264 |
kf6-kfilemetadata-6.3.0-alt1 | 10-Jul-2024 04:13 | 418363 |
kf6-kglobalaccel-6.3.0-alt1 | 10-Jul-2024 03:44 | 362736 |
kf6-kguiaddons-6.3.0-alt1 | 10-Jul-2024 04:27 | 210436 |
kf6-kholidays-6.3.0-alt1 | 10-Jul-2024 03:29 | 321271 |
kf6-ki18n-6.3.0-alt1 | 10-Jul-2024 04:35 | 236025 |
kf6-kiconthemes-6.3.0-alt1 | 10-Jul-2024 04:15 | 233962 |
kf6-kidletime-6.3.0-alt1 | 10-Jul-2024 03:22 | 175366 |
kf6-kio-6.3.0-alt1 | 10-Jul-2024 04:06 | 1488350 |
kf6-kirigami-6.3.0-alt1 | 10-Jul-2024 04:23 | 1250505 |
kf6-kitemmodels-6.3.0-alt1 | 10-Jul-2024 03:55 | 145834 |
kf6-kitemviews-6.3.0-alt1 | 10-Jul-2024 03:31 | 370605 |
kf6-kjobwidgets-6.3.0-alt1 | 10-Jul-2024 03:49 | 383958 |
kf6-knewstuff-6.3.0-alt1 | 10-Jul-2024 04:12 | 469121 |
kf6-knotifications-6.3.0-alt1 | 10-Jul-2024 03:42 | 418578 |
kf6-knotifyconfig-6.3.0-alt1 | 10-Jul-2024 03:19 | 145298 |
kf6-kpackage-6.3.0-alt1 | 10-Jul-2024 03:13 | 159673 |
kf6-kparts-6.3.0-alt1 | 10-Jul-2024 04:07 | 178346 |
kf6-kpeople-6.3.0-alt1 | 10-Jul-2024 03:44 | 329517 |
kf6-kplotting-6.3.0-alt1 | 10-Jul-2024 03:18 | 111135 |
kf6-kpty-6.3.0-alt1 | 10-Jul-2024 03:12 | 114752 |
kf6-krunner-6.3.0-alt1 | 10-Jul-2024 03:25 | 123301 |
kf6-kservice-6.3.0-alt1 | 10-Jul-2024 03:48 | 206234 |
kf6-kstatusnotifieritem-6.3.0-alt1 | 10-Jul-2024 03:40 | 225720 |
kf6-ksvg-6.3.0-alt1 | 10-Jul-2024 03:42 | 144563 |
kf6-ktexteditor-6.3.0-alt1 | 10-Jul-2024 04:11 | 896650 |
kf6-ktexttemplate-6.3.0-alt1 | 10-Jul-2024 04:29 | 287746 |
kf6-ktextwidgets-6.3.0-alt1 | 10-Jul-2024 03:33 | 174067 |
kf6-kunitconversion-6.3.0-alt1 | 10-Jul-2024 04:03 | 167833 |
kf6-kwallet-6.3.0-alt1 | 10-Jul-2024 04:09 | 556712 |
kf6-kwidgetsaddons-6.3.0-alt1 | 10-Jul-2024 04:11 | 556707 |
kf6-kwindowsystem-6.3.0-alt1 | 10-Jul-2024 04:00 | 558019 |
kf6-kxmlgui-6.3.0-alt1 | 10-Jul-2024 04:09 | 268264 |
kf6-modemmanager-qt-6.3.0-alt1 | 10-Jul-2024 04:12 | 244459 |
kf6-networkmanager-qt-6.3.0-alt1 | 10-Jul-2024 04:33 | 684407 |
kf6-prison-6.3.0-alt1 | 10-Jul-2024 03:37 | 219419 |
kf6-purpose-6.3.0-alt1 | 10-Jul-2024 04:26 | 556363 |
kf6-solid-6.3.0-alt1 | 10-Jul-2024 04:21 | 552304 |
kf6-sonnet-6.3.0-alt1 | 10-Jul-2024 03:42 | 468373 |
kf6-syndication-6.3.0-alt1 | 10-Jul-2024 04:01 | 258118 |
kf6-syntax-highlighting-6.3.0-alt1 | 10-Jul-2024 04:03 | 515598 |
kf6-threadweaver-6.3.0-alt1 | 10-Jul-2024 04:02 | 233822 |
kitsune-3.0-alt1_8 | 10-Jul-2024 03:58 | 375376 |
kontakter-0.2-alt1 | 10-Jul-2024 02:49 | 99396 |
kseg-qt4-1.0-alt2 | 10-Jul-2024 01:37 | 287910 |
laptop-mode-tools-1.74-alt3 | 10-Jul-2024 01:53 | 6324 |
libdtkwm-2.0.12-alt1 | 10-Jul-2024 03:50 | 40660 |
libgspell-1.12.2-alt1 | 10-Jul-2024 03:45 | 177642 |
libkolabxml-1.2.0-alt1 | 10-Jul-2024 03:19 | 1153995 |
libmozjs78-78.11.0-alt2.1 | 10-Jul-2024 03:52 | 15183 |
libuldaq-1.2.1-alt1 | 10-Jul-2024 01:56 | 131232 |
libvamp-2.10.0-alt2 | 10-Jul-2024 02:19 | 20038 |
libvirt-10.2.0-alt1 | 10-Jul-2024 04:27 | 327333 |
lightdm-1.32.0-alt6 | 10-Jul-2024 03:41 | 257355 |
linux-pam-1.6.1-alt1 | 10-Jul-2024 02:48 | 136233 |
m-ping-0.4-alt2.qa1 | 10-Jul-2024 02:50 | 101085 |
mISDN-1.1.5-alt3.1 | 10-Jul-2024 01:23 | 372301 |
manaworld-0.5.2-alt5_9 | 10-Jul-2024 04:29 | 183923 |
manticore-5.0.2-alt2 | 10-Jul-2024 04:30 | 95113 |
mate-settings-daemon-1:1.28.0-alt1 | 10-Jul-2024 03:36 | 394554 |
memory-monitor-1.1-alt2.qa1 | 10-Jul-2024 02:03 | 364856 |
mopidy-3.4.2-alt1 | 10-Jul-2024 01:54 | 133118 |
mosh-1.4.0-alt1 | 10-Jul-2024 01:40 | 16085 |
mp3diags-1.2.03-alt2.1 | 10-Jul-2024 03:32 | 981050 |
mu-1.10.7-alt1 | 10-Jul-2024 00:07 | 384294 |
mumps-5.3.5-alt3 | 10-Jul-2024 04:13 | 956467 |
mysqltuner-1.7.2-alt1 | 10-Jul-2024 01:04 | 6890 |
nagios-domain-discovery-0.1.1-alt1 | 10-Jul-2024 00:38 | 12728 |
nautilus-dropbox-2022.12.05-alt1 | 10-Jul-2024 02:39 | 64784 |
ndpi-netfilter-3.2-alt1 | 10-Jul-2024 02:16 | 17516 |
netemul-1.0-alt1 | 10-Jul-2024 01:32 | 552109 |
netfleet-0.2.1-alt1.qa1 | 10-Jul-2024 03:46 | 508326 |
netgen-6.2.2303-alt1 | 10-Jul-2024 02:31 | 38701 |
nicotine-plus-3.1.1-alt1 | 10-Jul-2024 00:34 | 10959 |
nitrokey-app-0.6.3-alt2.1 | 10-Jul-2024 03:11 | 143163 |
node-nan-2.18.0-alt1 | 10-Jul-2024 01:07 | 7897 |
node-sass-9.0.0-alt1 | 10-Jul-2024 00:53 | 26695 |
node-tap-16.0.0-alt1 | 10-Jul-2024 04:18 | 8604 |
nut-2.8.0-alt2 | 10-Jul-2024 03:59 | 359656 |
obconf-qt-0.16.4-alt1 | 10-Jul-2024 03:42 | 43531 |
opennebula-6.6.1.1-alt2 | 10-Jul-2024 04:15 | 31385 |
openqa-4.6-alt16.git1c98e2217 | 10-Jul-2024 02:43 | 143527 |
openrgb-0.9-alt2 | 10-Jul-2024 02:36 | 5203810 |
opensd-0.48.0-alt1 | 10-Jul-2024 01:03 | 24773 |
ostree-2024.3-alt3 | 10-Jul-2024 04:26 | 687992 |
osync-1.2-alt1 | 10-Jul-2024 00:04 | 6600 |
ovirt-guest-agent-1.0.16-alt3 | 10-Jul-2024 01:34 | 38548 |
pam_pkcs11-0.6.12.1-alt1 | 10-Jul-2024 02:37 | 120490 |
pdns-recursor-4.9.2-alt1 | 10-Jul-2024 04:25 | 189240 |
perl-Digest-Haval256-1.0.5-alt3.2 | 10-Jul-2024 01:08 | 17404 |
perl-IO-All-0.87-alt1 | 10-Jul-2024 02:29 | 9293 |
perl-Jcode-2.07-alt1.1 | 10-Jul-2024 00:06 | 5589 |
perl-Net-Patricia-1.22-alt1.2 | 10-Jul-2024 00:15 | 9551 |
perl-Padre-1.02-alt2 | 10-Jul-2024 03:56 | 154530 |
perl-Parse-ErrorString-Perl-0.27-alt1 | 10-Jul-2024 00:14 | 37438 |
perl-Pegex-0.75-alt1 | 10-Jul-2024 01:05 | 23200 |
perl-SOAP-WSDL-3.004-alt2 | 10-Jul-2024 02:12 | 60219 |
perl-Wx-Perl-ProcessStream-0.32-alt1 | 10-Jul-2024 01:06 | 46199 |
perl-XXX-0.38-alt2 | 10-Jul-2024 00:12 | 8492 |
perl-YAML-PP-LibYAML-0.005-alt2 | 10-Jul-2024 00:28 | 7968 |
perl-YAML-PP-Ref-0.02-alt1 | 10-Jul-2024 01:36 | 7673 |
phoronix-test-suite-10.8.4-alt1 | 10-Jul-2024 01:09 | 24680 |
php8.1-memcache-8.2-alt8.1.29.alt1 | 10-Jul-2024 03:32 | 44494 |
plasma6-libkscreen-6.1.1-alt1 | 10-Jul-2024 04:32 | 401238 |
pngcrush-1.8.13-alt2 | 10-Jul-2024 00:06 | 3796 |
policycoreutils-1:3.6-alt1 | 10-Jul-2024 04:13 | 227986 |
ptbatterysystemtray-0.8.0-alt1 | 10-Jul-2024 01:58 | 109499 |
pve-manager-8.1.10-alt1 | 10-Jul-2024 04:34 | 116937 |
pve-storage-8.1.5-alt1 | 10-Jul-2024 03:09 | 76615 |
python3-module-asyncpg-0.29.0-alt2 | 10-Jul-2024 04:09 | 96125 |
python3-module-flaky-3.8.1-alt1 | 10-Jul-2024 00:45 | 48993 |
python3-module-fs-2.4.16-alt1.2 | 10-Jul-2024 03:33 | 283405 |
python3-module-mdp-3.6.0.15.g64f14eee-alt3 | 10-Jul-2024 04:12 | 183238 |
python3-module-pymeeus-0.5.12-alt1 | 10-Jul-2024 01:39 | 47130 |
python3-module-pytest-rerunfailures-14.0-alt1 | 10-Jul-2024 02:43 | 97259 |
python3-module-pythran-0.15.0-alt2 | 10-Jul-2024 01:07 | 1054532 |
python3-module-svglib-1.5.1-alt1 | 10-Jul-2024 01:28 | 26239 |
python3-module-tenacity-8.0.1-alt1 | 10-Jul-2024 01:55 | 34148 |
python3-module-trimesh-4.2.0-alt1 | 10-Jul-2024 02:53 | 218073 |
qcat-0.5-alt6 | 10-Jul-2024 01:50 | 755010 |
qconnman-1.24-alt1 | 10-Jul-2024 01:56 | 29917 |
qconnman-ui-0-alt1.20140513 | 10-Jul-2024 02:27 | 95903 |
qeven-0.3.2-alt1 | 10-Jul-2024 01:41 | 767820 |
qflipper-1.2.1-alt1 | 10-Jul-2024 03:30 | 451202 |
qfsm-0.56-alt1 | 10-Jul-2024 01:40 | 163867 |
qgmailnotifier-2008.2-alt1.qa1 | 10-Jul-2024 01:40 | 434713 |
qgoogletranslator-1.2.1-alt2.1 | 10-Jul-2024 01:41 | 30028 |
qmetro-0.7.1-alt1 | 10-Jul-2024 01:22 | 31815 |
qmidiroute-0.4.0-alt1 | 10-Jul-2024 01:32 | 414592 |
qorganizer-3.1.5-alt2 | 10-Jul-2024 01:36 | 571015 |
qrdc-0.0.1-alt1 | 10-Jul-2024 01:15 | 103186 |
qshare-2.1.5-alt1 | 10-Jul-2024 02:33 | 145106 |
qt3-3.3.8d-alt16.1 | 10-Jul-2024 00:07 | 91300 |
qtbrowserplugin-2.4-alt3 | 10-Jul-2024 02:20 | 186327 |
qtdbf-1.0.0-alt1 | 10-Jul-2024 01:23 | 1157666 |
qtmib-1.1.1-alt2 | 10-Jul-2024 01:42 | 32220 |
qtsmbstatus-2.2.1-alt2 | 10-Jul-2024 02:14 | 1063725 |
qvkeyboard-1.0.0-alt2.qa3 | 10-Jul-2024 03:42 | 92324 |
qxkb-0.4.4-alt1r36.2 | 10-Jul-2024 01:52 | 138738 |
rabbitvcs-0.19.0.21.git6f2da1b-alt1 | 10-Jul-2024 01:05 | 144322 |
radeon-profile-daemon-20190603-alt2 | 10-Jul-2024 01:21 | 24705 |
rosenpass-0.2.1-alt1 | 10-Jul-2024 02:52 | 114268 |
rviewer-0.5-alt1 | 10-Jul-2024 01:06 | 90236 |
samba-4.20.1-alt2 | 10-Jul-2024 02:17 | 35562123 |
scim-1.4.18-alt1 | 10-Jul-2024 04:30 | 276767 |
settingsd-1.0-alt1 | 10-Jul-2024 00:51 | 33344 |
slim-1.3.6-alt4 | 10-Jul-2024 02:19 | 46282 |
snapper-0.11.0-alt1 | 10-Jul-2024 03:49 | 218080 |
solaar-1.1.13-alt1 | 10-Jul-2024 01:02 | 71382 |
sphinx-2.3.2-alt4 | 10-Jul-2024 04:16 | 271278 |
state-change-notify-0.1.0-alt3 | 10-Jul-2024 02:19 | 13612 |
synkron-1.6.2-alt1 | 10-Jul-2024 02:53 | 1209976 |
systemd-bootchart-235-alt1 | 10-Jul-2024 01:44 | 103278 |
tang-14-alt1 | 10-Jul-2024 01:32 | 16409 |
tcl-img-1.4.14-alt1 | 10-Jul-2024 04:08 | 290280 |
thinkfan-1.3.1-alt1 | 10-Jul-2024 01:12 | 22743 |
thunderbird-115.9.0-alt1 | 10-Jul-2024 02:46 | 536904 |
timeoutd-1.5.2-alt1 | 10-Jul-2024 01:45 | 11571 |
tubularix-0.5.1.7-alt1 | 10-Jul-2024 01:15 | 523073 |
u2f-hidraw-policy-1.0.2-alt1 | 10-Jul-2024 00:06 | 5548 |
usb-modeswitch-2.6.1-alt3 | 10-Jul-2024 00:06 | 6595 |
v4l2onvif-0.0.20221106-alt1 | 10-Jul-2024 03:28 | 76531 |
vargus-viewer-1.0.2-alt2 | 10-Jul-2024 01:23 | 484978 |
wakefix-1.0.4-alt1 | 10-Jul-2024 00:06 | 5701 |
wally-2.4.4-alt1 | 10-Jul-2024 01:46 | 265235 |
x11spice-1.2-alt1 | 10-Jul-2024 02:14 | 57245 |
x2gobroker-0.0.4.1-alt18 | 10-Jul-2024 03:10 | 110447 |
x2goserver-4.1.0.3-alt3 | 10-Jul-2024 01:12 | 44721 |
xdg-desktop-portal-1.18.4-alt1 | 10-Jul-2024 04:25 | 86951 |
xinitrc-2.4.47-alt3 | 10-Jul-2024 00:04 | 8736 |
xl2tpd-1.3.18-alt2 | 10-Jul-2024 01:51 | 11978 |
xpra-4.4.4-alt4 | 10-Jul-2024 04:41 | 78099 |
yate-6.1.0-alt4 | 10-Jul-2024 04:23 | 122513 |
yices-2.3.0-alt4 | 10-Jul-2024 03:29 | 186627 |