Ubuntu

jbmc binary package in Ubuntu Mantic amd64

  1. Mantic (23.10)
  2. amd64
  3. jbmc

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-02-17 18:10:12 UTC Deleted Ubuntu Mantic amd64 proposed universe science Optional 5.89.0-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Steve Langasek

    mantic->noble

  • Published
  2023-08-09 18:49:32 UTC Superseded Ubuntu Mantic amd64 proposed universe science Optional 5.84.0-11
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of cbmc 5.89.0-2 in ubuntu mantic PROPOSED
  • Published
  2023-06-29 01:09:23 UTC Superseded Ubuntu Mantic amd64 proposed universe science Optional 5.84.0-10
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of cbmc 5.84.0-11 in ubuntu mantic PROPOSED
  • Published
  2023-06-28 19:09:14 UTC Superseded Ubuntu Mantic amd64 proposed universe science Optional 5.84.0-9
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of cbmc 5.84.0-10 in ubuntu mantic PROPOSED
  • Published
  2023-06-28 01:09:07 UTC Superseded Ubuntu Mantic amd64 proposed universe science Optional 5.84.0-8
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of cbmc 5.84.0-9 in ubuntu mantic PROPOSED
  • Published
  2023-06-27 19:39:53 UTC Superseded Ubuntu Mantic amd64 proposed universe science Optional 5.84.0-6
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of cbmc 5.84.0-8 in ubuntu mantic PROPOSED
  • Published
  2023-06-26 13:14:01 UTC Superseded Ubuntu Mantic amd64 proposed universe science Optional 5.84.0-5
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of cbmc 5.84.0-6 in ubuntu mantic PROPOSED
  • Published