Bug#842114: packaged as flint-arb

To: 842114@bugs.debian.org
Subject: Bug#842114: packaged as flint-arb
From: Julian Rüth <julian.rueth@fsfe.org>
Date: Sat, 4 Aug 2018 02:03:06 +0200
Message-id: <[🔎] 20180804000306.GA1004@wigwum>
Reply-to: Julian Rüth <julian.rueth@fsfe.org>, 842114@bugs.debian.org
References: <147743510730.22072.1439888664069428556.reportbug@localhost>

I believe that this can be closed as this has been packaged a while ago
as https://packages.debian.org/source/sid/flint-arb

Reply to:

Prev by Date: Bug#905391: ITP: cryptominisat -- CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver
Next by Date: Bug#902697: marked as done (ITP: golang-github-jhoonb-archivex -- archives folders (recursively) and files to zip and tar formats)
Previous by thread: Bug#905391: ITP: cryptominisat -- CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver
Next by thread: Bug#902697: marked as done (ITP: golang-github-jhoonb-archivex -- archives folders (recursively) and files to zip and tar formats)
Index(es):
- Date
- Thread