Register | Log in

coq-float

Choose email to subscribe with

general

source: coq-float (main)
version: 1:8.10.0-1
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Stéphane Glondu [DMD]
arch: all
std-ver: 4.5.0
VCS: Git (Browse)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

unstable: 1:8.10.0-1

binaries

libfloat-coq

package is gone

This package is not part of any Debian distribution. Thus you won't find much information here. The package is either very new and hasn't appeared on mirrors yet, or it's an old package that eventually got removed. The old news are kept for historic purpose only.

news

[2022-06-05] Removed 1:8.10.0-1 from unstable (Debian FTP Masters)
[2020-09-30] coq-float REMOVED from testing (Debian testing watch)
[2020-03-24] coq-float 1:8.10.0-1 MIGRATED to testing (Debian testing watch)
[2020-03-16] Accepted coq-float 1:8.10.0-1 (source) into unstable (Ralf Treinen)
[2020-02-06] coq-float 1:8.9.0-1 MIGRATED to testing (Debian testing watch)
[2020-02-01] Accepted coq-float 1:8.9.0-1 (source) into unstable (Stéphane Glondu)
[2016-03-19] coq-float REMOVED from testing (Debian testing watch)
[2015-11-01] coq-float 1:8.4-5 MIGRATED to testing (Britney)
[2015-10-14] Accepted coq-float 1:8.4-5 (source all) into unstable (Stéphane Glondu)
[2014-08-11] coq-float 1:8.4-4 MIGRATED to testing (Britney)
[2014-07-30] Accepted coq-float 1:8.4-4 (source all) into unstable (Stéphane Glondu)
[2014-01-26] coq-float 1:8.4-3 MIGRATED to testing (Debian testing watch)
[2014-01-20] Accepted coq-float 1:8.4-3 (source all) (Stéphane Glondu)
[2013-12-12] coq-float 1:8.4-2 MIGRATED to testing (Debian testing watch)
[2013-12-07] Accepted coq-float 1:8.4-2 (source all) (Stéphane Glondu)
[2013-05-25] coq-float 1:8.4-1 MIGRATED to testing (Debian testing watch)
[2013-05-08] Accepted coq-float 1:8.4-1 (source all) (Stéphane Glondu)
[2012-06-17] coq-float 1:8.3pl1-4 MIGRATED to testing (Debian testing watch)
[2012-06-06] Accepted coq-float 1:8.3pl1-4 (source all) (Stéphane Glondu)
[2012-04-09] coq-float 1:8.3pl1-3 MIGRATED to testing (Debian testing watch)
[2012-03-30] Accepted coq-float 1:8.3pl1-3 (source all) (Stéphane Glondu)
[2012-03-17] coq-float 1:8.3pl1-2 MIGRATED to testing (Debian testing watch)
[2012-03-06] Accepted coq-float 1:8.3pl1-2 (source all) (Stéphane Glondu)
[2012-01-20] coq-float 1:8.3pl1-1 MIGRATED to testing (Debian testing watch)
[2012-01-09] Accepted coq-float 1:8.3pl1-1 (source all) (Stéphane Glondu)
[2012-01-07] coq-float 1:8.2-1.2-9 MIGRATED to testing (Debian testing watch)
[2011-12-25] Accepted coq-float 1:8.2-1.2-9 (source all) (Stéphane Glondu)
[2011-11-09] coq-float 1:8.2-1.2-8 MIGRATED to testing (Debian testing watch)
[2011-11-03] Accepted coq-float 1:8.2-1.2-8 (source all) (Stéphane Glondu)
[2011-04-30] coq-float 1:8.2-1.2-7 MIGRATED to testing (Debian testing watch)

1
2

bugs [bug history graph]

all: 0

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing