Register | Log in

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

[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: 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