Ubuntu
acl2 package

Publishing history of acl2 8.2dfsg-3build1 source package in Ubuntu

  1. 8.2dfsg-3build1
  2. Publishing history
1 → 3 of 3 results First • Previous • Next • Last
Date Status Target Pocket Component Section Version
  2020-08-24 15:49:26 UTC Superseded Groovy release universe math 8.2dfsg-3build1
  • Removal requested .
  • Superseded by acl2 - 8.3dfsg-1
  • Published
  • Copied from ubuntu focal in Primary Archive for Ubuntu
  2020-03-24 09:53:43 UTC Published Focal release universe math 8.2dfsg-3build1
  Deleted Focal proposed universe math 8.2dfsg-3build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
1 → 3 of 3 results First • Previous • Next • Last

«back