Ubuntu

flatzinc binary package in Ubuntu Focal arm64

  1. Focal (20.04)
  2. arm64
  3. flatzinc

 FlatZinc is a low-level modelling language for constraint
 problems. It is designed to be easily interfaceable to constraint
 solvers (like Gecode). For more information on FlatZinc, please refer
 to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.
 .
 The FlatZinc interpreter that ships with Gecode supports the FlatZinc
 language and MiniZinc global constraint definitions of MiniZinc
 version 1.6.0.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2020-03-24 20:13:21 UTC Published Ubuntu Focal arm64 release universe devel Optional 6.2.0-3build1
  • Published
  • Copied from ubuntu focal-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal arm64 proposed universe devel Optional 6.2.0-3build1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-03-24 20:13:44 UTC Superseded Ubuntu Focal arm64 release universe devel Optional 6.2.0-3
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of gecode 6.2.0-3build1 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu focal-proposed arm64 in Primary Archive for Ubuntu
  2020-03-26 00:10:10 UTC Deleted Ubuntu Focal arm64 proposed universe devel Optional 6.2.0-3
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2020-02-21 22:09:27 UTC Superseded Ubuntu Focal arm64 release universe devel Optional 6.1.0-2
  • Removed from disk .
  • Removal requested .
  • Superseded by arm64 build of gecode 6.2.0-3 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu disco-proposed arm64 in Primary Archive for Ubuntu

Source package