Ubuntu

libflint-2.8.2 binary package in Ubuntu Jammy riscv64

  1. Jammy (22.04)
  2. riscv64
  3. libflint-2.8.2

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2021-11-12 00:10:09 UTC Deleted Ubuntu Jammy riscv64 proposed universe libs Optional 2.8.2-2
  • Removed from disk .
  • Removal requested .
  • Deleted by Matthias Klose

    remove NBS binary

  • Published
  2021-10-25 21:38:45 UTC Superseded Ubuntu Jammy riscv64 proposed universe libs Optional 2.8.2-1
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of flint 2.8.2-2 in ubuntu jammy PROPOSED
  • Published