aboutsummaryrefslogtreecommitdiff
path: root/academic/eprover
diff options
context:
space:
mode:
authorfourtysixandtwo <fourtysixandtwo@sliderr.net>2022-03-18 21:02:24 -0600
committerB. Watson <urchlay@slackware.uk>2022-06-07 02:23:50 -0400
commitbb612133b2cf05c2dfbff936b82e42d6f69961fa (patch)
tree569b464ef06309e5265ad53732e65087a73dabe4 /academic/eprover
parent3511112b45680f9287d214ce46ea4c76fce5b7a6 (diff)
downloadslackbuilds-bb612133b2cf05c2dfbff936b82e42d6f69961fa.tar.xz
system/ibam: Change i486 to i586
Diffstat (limited to 'academic/eprover')
0 files changed, 0 insertions, 0 deletions