Kali Linux Package Tracker
Register | Log in

News for package coq-ext-lib

  • [2025-01-13] coq-ext-lib 0.13.0-1 imported into kali-rolling (Kali Repository)
  • [2024-12-02] coq-ext-lib 0.12.2-1 imported into kali-rolling (Kali Repository)
  • [2024-09-12] coq-ext-lib 0.12.1-2 imported into kali-rolling (Kali Repository)
  • [2024-08-19] coq-ext-lib 0.12.1-1 removed from kali-rolling (Kali Repository)
  • [2024-08-17] coq-ext-lib 0.12.1-1 removed from kali-dev (Kali Repository)
  • [2024-06-26] coq-ext-lib 0.12.1-1 imported into kali-rolling (Kali Repository)
  • [2024-01-26] coq-ext-lib 0.12.0-1 imported into kali-rolling (Kali Repository)
  • [2023-06-28] coq-ext-lib 0.11.8-1 imported into kali-rolling (Kali Repository)
  • [2023-01-31] coq-ext-lib 0.11.7-2 imported into kali-rolling (Kali Repository)
  • [2022-08-17] coq-ext-lib 0.11.7-1 imported into kali-rolling (Kali Repository)
  • [2022-07-18] coq-ext-lib 0.11.6-2 imported into kali-rolling (Kali Repository)
  • [2022-07-11] coq-ext-lib 0.11.6-1 imported into kali-rolling (Kali Repository)

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