libz3-java binary package in Ubuntu Lunar riscv64

 Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3
 package for a detailed description.
 .
 This package can be used to invoke Z3 via its Java API.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-02-06 01:14:19 UTC Published Ubuntu Lunar riscv64 release universe java Extra 4.8.12-3.1
  • Published
  • Copied from ubuntu lunar-proposed riscv64 in Primary Archive for Ubuntu
  Deleted Ubuntu Lunar riscv64 proposed universe java Extra 4.8.12-3.1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2023-02-06 01:15:42 UTC Superseded Ubuntu Lunar riscv64 release universe java Extra 4.8.12-3
  • Removed from disk .
  • Removal requested .
  • Superseded by riscv64 build of z3 4.8.12-3.1 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed riscv64 in Primary Archive for Ubuntu
  2023-02-07 06:10:11 UTC Deleted Ubuntu Lunar riscv64 proposed universe java Extra 4.8.12-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to lunar

  • Published
  2022-11-19 18:02:16 UTC Superseded Ubuntu Lunar riscv64 release universe java Extra 4.8.12-1
  • Removal requested .
  • Superseded by riscv64 build of z3 4.8.12-3 in ubuntu lunar PROPOSED
  • Published
  • Copied from ubuntu impish-proposed riscv64 in Primary Archive for Ubuntu

Source package