Information for lambda-term

Versions

• 3.2.0+git20220222.1.d68d2fd
• 3.2.0
• 3.1.0
• 2.0.3
• 1.10.1
• 1.9

Package names

• lambda-term

Repositories

• Debian 9
• Debian 10
• Debian 11
• Debian 12
• Debian Janitor - Snapshots
• Debian Unstable
• Deepin
• Devuan 2.0
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• Kali Linux Rolling
• Pardus 17
• Pardus 19
• Pardus 21
• Parrot
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Trisquel 8.0
• Trisquel 9.0
• Trisquel 10.0
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 22.10
• Ubuntu 23.04

Categories

• misc
• universe/misc

Maintainers

• bengen@debian.org
• debian-ocaml-maint@lists.debian.org
• lifongsun@gmail.com
• nicolas.dandrimont@crans.org
• ubuntu-devel-discuss@lists.ubuntu.com

• Group email

Homepage links

• http://forge.ocamlcore.org/projects/lambda-term/^redir
• https://github.com/ocaml-community/lambda-term^{ok, no IPv6}