Kali Linux Package Tracker
Register | Log in
Subscribe

lambda-term

Choose email to subscribe with

general
  • source: lambda-term (main)
  • version: 3.3.2-2
  • maintainer: Debian OCaml Maintainers (archive)
  • uploaders: Hilko Bengen
  • arch: any
  • std-ver: 4.7.2
  • VCS: Git (Browse)
versions
[pool directory]
  • kali-roll: 3.3.2-2
  • kali-dev: 3.3.3-1
  • deb-test: 3.3.3-1
versioned links
  • 3.3.2-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.3.3-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • liblambda-term-ocaml
  • liblambda-term-ocaml-dev
news
[rss feed]
  • [2025-10-02] lambda-term 3.3.2-2 imported into kali-rolling (Kali Repository)
  • [2023-09-06] lambda-term 3.3.2-1 imported into kali-rolling (Kali Repository)
  • [2023-08-24] lambda-term 3.3.1-3 imported into kali-rolling (Kali Repository)
  • [2023-08-07] lambda-term 3.3.1-2 imported into kali-rolling (Kali Repository)
  • [2022-03-15] lambda-term 3.2.0-1 imported into kali-rolling (Kali Repository)
  • [2020-10-01] lambda-term 3.1.0-1 imported into kali-rolling (Kali Repository)
  • [2020-08-06] lambda-term 2.0.3-2 imported into kali-rolling (Kali Repository)
  • [2020-02-17] lambda-term 2.0.3-1 imported into kali-rolling (Kali Repository)
  • [2019-11-25] lambda-term 2.0.2-1 imported into kali-rolling (Kali Repository)
  • [2019-11-07] lambda-term 1.10.1-2 removed from kali-rolling (Kali Repository)
  • [2019-11-07] lambda-term 1.10.1-2 removed from kali-dev (Kali Repository)
  • [2017-08-08] lambda-term 1.10.1-2 imported into kali-rolling (Kali Repository)
  • [2016-09-21] lambda-term 1.10.1-1 imported into kali-rolling (Kali Repository)
  • [2016-06-02] lambda-term 1.10-1 imported into kali-rolling (Kali Repository)
  • [2016-02-19] lambda-term 1.9-4 imported into kali-rolling (Kali Repository)
links
  • homepage

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