Ubuntu

libghc-simple-smt-prof binary package in Ubuntu Oracular amd64

  1. Oracular (24.10)
  2. amd64
  3. libghc-simple-smt-prof

 This package provides a simple way to interact with an SMT solver process,
 using the SmtLib-2 format.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-05-22 02:39:08 UTC Published Ubuntu Oracular amd64 release universe haskell Extra 0.9.7-2build1
  • Published
  • Copied from ubuntu oracular-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Oracular amd64 proposed universe haskell Extra 0.9.7-2build1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to oracular

  • Published
  2024-05-22 02:43:00 UTC Superseded Ubuntu Oracular amd64 release universe haskell Extra 0.9.7-2
  • Removal requested .
  • Superseded by amd64 build of haskell-simple-smt 0.9.7-2build1 in ubuntu oracular PROPOSED
  • Published
  • Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu

Source package