Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
lambda-term
31
package(s) known
Debian 9
stretch/main
lambda-term
1.10.1
(1.10.1-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package statistics
ok
Upstream homepage
redir
Debian 10
buster/main
lambda-term
1.10.1
(1.10.1-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian 11
bullseye/main
lambda-term
3.1.0
(3.1.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian 12
bookworm/main
lambda-term
3.2.0
(3.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Debian Janitor - Snapshots
lambda-term
3.2.0+git20220222.1.d68d2fd
(3.2.0+git20220222.1.d68d2fd-1~jan+nus1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Link(s):
Package page
redir
,
no IPv6
Build log (raw)
ok
,
no IPv6
Package sources
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Debian Unstable
sid/main
lambda-term
3.2.0
(3.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
,
no IPv6
Deepin
main
lambda-term
1.10.1
(1.10.1-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Link(s):
Upstream homepage
redir
Devuan 2.0
ascii/main
lambda-term
1.10.1
(1.10.1-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
misc
Link(s):
Upstream homepage
redir
Devuan 3.0
beowulf/main
lambda-term
1.10.1
(1.10.1-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
misc
Link(s):
Upstream homepage
redir
Devuan 4.0
chimaera/main
lambda-term
3.1.0
(3.1.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Devuan Unstable
unstable/main
lambda-term
3.2.0
(3.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Kali Linux Rolling
main
lambda-term
3.2.0
(3.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Pardus 17
main
lambda-term
1.10.1
(1.10.1-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
misc
Link(s):
Upstream homepage
redir
Pardus 19
main
lambda-term
1.10.1
(1.10.1-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
misc
Link(s):
Upstream homepage
redir
Pardus 21
main
lambda-term
3.1.0
(3.1.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot-updates/main
lambda-term
3.1.0
(3.1.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Parrot
parrot/main
lambda-term
3.1.0
(3.1.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
PureOS Amber
lambda-term
1.10.1
(1.10.1-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
misc
Link(s):
Upstream homepage
redir
PureOS landing
lambda-term
3.1.0
(3.1.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Oldstable
main
lambda-term
1.10.1
(1.10.1-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
misc
Link(s):
Upstream homepage
redir
Raspbian Stable
main
lambda-term
3.1.0
(3.1.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Raspbian Testing
main
lambda-term
3.2.0
(3.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
misc
Link(s):
Upstream homepage
ok
,
no IPv6
Trisquel 8.0
flidas/main
lambda-term
1.9
(1.9-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
universe/misc
Link(s):
Upstream homepage
redir
Trisquel 9.0
etiona/main
lambda-term
1.10.1
(1.10.1-2build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
universe/misc
Link(s):
Upstream homepage
redir
Trisquel 10.0
nabia/main
lambda-term
2.0.3
(2.0.3-1build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
universe/misc
Link(s):
Upstream homepage
ok
,
no IPv6
Ubuntu 16.04
xenial/universe
lambda-term
1.9
(1.9-4)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
universe/misc
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 18.04
bionic/universe
lambda-term
1.10.1
(1.10.1-2build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
lifongsun@gmail.com
nicolas.dandrimont@crans.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 20.04
focal/universe
lambda-term
2.0.3
(2.0.3-1build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.04
jammy/universe
lambda-term
3.1.0
(3.1.0-1build5)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
bengen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 22.10
kinetic/universe
lambda-term
3.2.0
(3.2.0-1build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6
Ubuntu 23.04
lunar/universe
lambda-term
3.2.0
(3.2.0-1build5)
Maintainers:
debian-ocaml-maint@lists.debian.org
bengen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
ok
,
no IPv6