Kali Linux Package Tracker
Register | Log in
Subscribe

coquelicot

Choose email to subscribe with

general
  • source: coquelicot (main)
  • version: 3.4.3-1
  • maintainer: Debian OCaml Maintainers (archive)
  • uploaders: Julien Puydt
  • arch: any
  • std-ver: 4.7.0
  • VCS: Git (Browse)
versions
[pool directory]
  • kali-roll: 3.4.3-1
  • kali-dev: 3.4.3-1
  • deb-test: 3.4.3-1
versioned links
  • 3.4.3-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • libcoq-coquelicot
news
[rss feed]
  • [2025-02-28] coquelicot 3.4.3-1 imported into kali-rolling (Kali Repository)
  • [2024-12-02] coquelicot 3.4.2-1 imported into kali-rolling (Kali Repository)
  • [2024-09-12] coquelicot 3.4.1-3 imported into kali-rolling (Kali Repository)
  • [2024-08-19] coquelicot 3.4.1-2 removed from kali-rolling (Kali Repository)
  • [2024-08-17] coquelicot 3.4.1-2 removed from kali-dev (Kali Repository)
  • [2024-06-26] coquelicot 3.4.1-2 imported into kali-rolling (Kali Repository)
  • [2024-01-26] coquelicot 3.4.1-1 imported into kali-rolling (Kali Repository)
  • [2023-06-28] coquelicot 3.3.1-1 imported into kali-rolling (Kali Repository)
  • [2023-01-31] coquelicot 3.2.0-8 imported into kali-rolling (Kali Repository)
  • [2022-07-11] coquelicot 3.2.0-7 imported into kali-rolling (Kali Repository)
  • [2022-06-28] coquelicot 3.2.0-2 removed from kali-rolling (Kali Repository)
  • [2022-06-28] coquelicot 3.2.0-2 removed from kali-dev (Kali Repository)
  • [2022-05-20] coquelicot 3.2.0-2 imported into kali-rolling (Kali Repository)
  • [2022-05-16] coquelicot 3.2.0-1 imported into kali-rolling (Kali Repository)
  • [2019-03-05] coquelicot 0.9.6-1.1 removed from kali-rolling (Kali Repository)
  • [2019-03-05] coquelicot 0.9.6-1.1 removed from kali-dev (Kali Repository)
  • [2018-08-18] coquelicot 0.9.6-1.1 imported into kali-rolling (Kali Repository)
  • [2017-01-02] coquelicot 0.9.6-1 imported into kali-rolling (Kali Repository)
  • [2015-12-07] coquelicot 0.9.5-1 migrated to Kali Safi
  • [2015-10-23] coquelicot 0.9.5-1 has been added to Kali Devel
  • [2015-10-23] coquelicot 0.9.5-1 has been added to Kali Rolling
  • [2015-08-27] coquelicot has been removed from Kali Moto
  • [2015-08-11] coquelicot 0.9.2-4 migrated to Kali Moto
  • [2015-07-21] coquelicot 0.9.2-4 migrated to Kali Sana
  • [2015-07-12] coquelicot 0.9.2-4 has been added to Kali Devel
  • [2015-07-12] coquelicot 0.9.2-4 has been added to Kali Rolling
  • [2014-10-22] coquelicot 0.9.2-4 migrated to Kali Rolling
links
  • homepage
  • debci

Kali Linux Package Tracker
Copyright 2013-2025 The Distro Tracker Developers
Documentation — Bugs — Git Repository — Contributing