Publishing history of acl2 8.4dfsg-2 source package in Ubuntu

13 of 3 results
Date Status Target Pocket Component Section Version
  2022-08-02 04:49:07 UTC Superseded Kinetic release universe math 8.4dfsg-2
  • Removal requested .
  • Superseded by acl2 - 8.5dfsg-1
  • Published
  • Copied from debian sid in Primary Archive for Debian GNU/Linux
  2021-12-26 08:28:37 UTC Published Jammy release universe math 8.4dfsg-2
  Deleted Jammy proposed universe math 8.4dfsg-2
13 of 3 results

«back