Kali Linux Package Tracker
Register | Log in
Subscribe

coq-quickchick

Choose email to subscribe with

general
  • source: coq-quickchick (main)
  • version: 2.1.0-1
  • maintainer: Debian OCaml Maintainers (archive)
  • uploaders: Julien Puydt
  • arch: any
  • std-ver: 4.7.0
  • VCS: Git (Browse)
versions
[pool directory]
  • kali-roll: 2.1.0-1
  • kali-dev: 2.1.0-1
  • deb-test: 2.1.0-1
versioned links
  • 2.1.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • libcoq-quickchick
  • quickchick
news
[rss feed]
  • [2025-03-26] coq-quickchick 2.1.0-1 imported into kali-rolling (Kali Repository)
  • [2024-12-26] coq-quickchick 2.0.5-1 imported into kali-rolling (Kali Repository)
  • [2024-12-02] coq-quickchick 2.0.4-1 imported into kali-rolling (Kali Repository)
  • [2024-09-12] coq-quickchick 2.0.3-3 imported into kali-rolling (Kali Repository)
  • [2024-08-19] coq-quickchick 2.0.3-2 removed from kali-rolling (Kali Repository)
  • [2024-08-17] coq-quickchick 2.0.3-2 removed from kali-dev (Kali Repository)
  • [2024-06-26] coq-quickchick 2.0.3-2 imported into kali-rolling (Kali Repository)
  • [2024-01-26] coq-quickchick 2.0.2-1 imported into kali-rolling (Kali Repository)
  • [2023-07-17] coq-quickchick 2.0-2 imported into kali-rolling (Kali Repository)
  • [2023-06-28] coq-quickchick 2.0-1 imported into kali-rolling (Kali Repository)
  • [2023-01-31] coq-quickchick 1.6.4-3 imported into kali-rolling (Kali Repository)
  • [2022-09-19] coq-quickchick 1.6.4-2 imported into kali-rolling (Kali Repository)
  • [2022-08-17] coq-quickchick 1.6.4-1 imported into kali-rolling (Kali Repository)
links
  • homepage
  • debci

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