| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Debian 9
stretch/main |
lambda-term |
1.10.1 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Debian 10
buster/main |
lambda-term |
1.10.1 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Debian 11
bullseye/main |
lambda-term |
3.1.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Debian 12
bookworm/main |
lambda-term |
3.2.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
|
Debian Janitor - Snapshots |
lambda-term |
3.2.0+git20220222.1.d68d2fd |
- |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Debian Unstable
sid/main |
lambda-term |
3.2.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Deepin
main |
lambda-term |
1.10.1 |
- |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Devuan 2.0
ascii/main |
lambda-term |
1.10.1 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Devuan 3.0
beowulf/main |
lambda-term |
1.10.1 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Devuan 4.0
chimaera/main |
lambda-term |
3.1.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Devuan Unstable
unstable/main |
lambda-term |
3.2.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Kali Linux Rolling
main |
lambda-term |
3.2.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Pardus 17
main |
lambda-term |
1.10.1 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Pardus 19
main |
lambda-term |
1.10.1 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Pardus 21
main |
lambda-term |
3.1.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Parrot
parrot-updates/main |
lambda-term |
3.1.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Parrot
parrot/main |
lambda-term |
3.1.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
|
PureOS Amber |
lambda-term |
1.10.1 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
|
PureOS landing |
lambda-term |
3.1.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Raspbian Oldstable
main |
lambda-term |
1.10.1 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Raspbian Stable
main |
lambda-term |
3.1.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Raspbian Testing
main |
lambda-term |
3.2.0 |
misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Trisquel 8.0
flidas/main |
lambda-term |
1.9 |
universe/misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Trisquel 9.0
etiona/main |
lambda-term |
1.10.1 |
universe/misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Trisquel 10.0
nabia/main |
lambda-term |
2.0.3 |
universe/misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Ubuntu 16.04
xenial/universe |
lambda-term |
1.9 |
universe/misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Ubuntu 18.04
bionic/universe |
lambda-term |
1.10.1 |
universe/misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org, lifongsun@gmail.com, nicolas.dandrimont@crans.org |
Ubuntu 20.04
focal/universe |
lambda-term |
2.0.3 |
universe/misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Ubuntu 22.04
jammy/universe |
lambda-term |
3.1.0 |
universe/misc |
ubuntu-devel-discuss@lists.ubuntu.com, bengen@debian.org |
Ubuntu 22.10
kinetic/universe |
lambda-term |
3.2.0 |
universe/misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |
Ubuntu 23.04
lunar/universe |
lambda-term |
3.2.0 |
universe/misc |
debian-ocaml-maint@lists.debian.org, bengen@debian.org |