Debian Package Tracker
Register | Log in
Subscribe

why

Choose email to subscribe with

general
  • source: why (main)
  • version: 2.34-2
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Samuel Mimram [DMD] – Mehdi Dogguy [DMD] – Ralf Treinen [DMD]
  • arch: all any
  • std-ver: 3.9.5
  • VCS: Git (Browse)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • oldstable: 2.34-2
binaries
  • libwhy-coq
  • why
  • why-examples
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
[rss feed]
  • [2019-02-25] why REMOVED from testing (Debian testing watch)
  • [2019-02-22] Accepted why 2.40-4 (source all amd64) into unstable (Benjamin Barenblat)
  • [2018-05-17] why 2.40-3 MIGRATED to testing (Debian testing watch)
  • [2018-05-13] Accepted why 2.40-3 (source) into unstable (Ralf Treinen)
  • [2018-05-12] Accepted why 2.40-2 (source) into unstable (Ralf Treinen)
  • [2018-05-12] Accepted why 2.40-1 (source) into unstable (Ralf Treinen)
  • [2018-01-03] why 2.39-2 MIGRATED to testing (Debian testing watch)
  • [2017-10-12] Accepted why 2.39-2 (source) into unstable (Ralf Treinen)
  • [2017-09-06] Accepted why 2.39-1 (source) into unstable (Ralf Treinen)
  • [2017-04-24] Accepted why 2.38-1 (source) into unstable (Ralf Treinen)
  • [2016-12-27] Accepted why 2.36-5 (source) into unstable (Ralf Treinen)
  • [2016-12-27] Accepted why 2.36-4 (source) into unstable (Ralf Treinen)
  • [2016-12-18] Accepted why 2.36-3 (source) into unstable (Ralf Treinen)
  • [2016-10-12] Accepted why 2.36-2 (source) into unstable (Ralf Treinen)
  • [2016-10-11] Accepted why 2.36-1 (source) into unstable (Ralf Treinen)
  • [2016-02-14] why REMOVED from testing (Debian testing watch)
  • [2015-11-01] why 2.34-4 MIGRATED to testing (Britney)
  • [2015-10-16] Accepted why 2.34-4 (source all amd64) into unstable (Mehdi Dogguy)
  • [2014-08-11] why 2.34-2 MIGRATED to testing (Britney)
  • [2014-08-04] Accepted why 2.34-2 (source amd64 all) into unstable (Stéphane Glondu)
  • [2014-05-06] why 2.34-1 MIGRATED to testing (Debian testing watch)
  • [2014-04-30] Accepted why 2.34-1 (source amd64 all) (Ralf Treinen)
  • [2014-02-23] why 2.33-2 MIGRATED to testing (Debian testing watch)
  • [2014-02-17] Accepted why 2.33-2 (source amd64 all) (Ralf Treinen)
  • [2014-02-13] Accepted why 2.33-1 (source amd64 all) (Ralf Treinen)
  • [2013-05-25] why REMOVED from testing (Debian testing watch)
  • [2012-05-27] why 2.30+dfsg-5 MIGRATED to testing (Debian testing watch)
  • [2012-05-16] Accepted why 2.30+dfsg-5 (source all amd64) (Mehdi Dogguy)
  • [2012-04-09] why 2.30+dfsg-4 MIGRATED to testing (Debian testing watch)
  • [2012-04-06] Accepted why 2.30+dfsg-4 (source all amd64) (Stéphane Glondu)
  • 1
  • 2
bugs [bug history graph]
  • all: 1
  • RC: 1
  • I&N: 0
  • M&W: 0
  • F&P: 0
  • patch: 0

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing