Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Packages for
buddy
52
package(s) known
Arch
extra
buddy
2.4
(2.4-6)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Package page
redir
Package sources
dead
(see archive.org)
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
ok
Arch Linux 32 i486
community
buddy
2.4
(2.4-6.0)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Package page
dead
(see archive.org)
Upstream homepage
ok
Arch Linux 32 i686
community
buddy
2.4
(2.4-6.0)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Package page
ok
Upstream homepage
ok
Arch Linux 32 pentium4
community
buddy
2.4
(2.4-6.0)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Package page
dead
(see archive.org)
Upstream homepage
ok
Arch Linux ARM aarch64
community
buddy
2.4
(2.4-6)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
Arch Linux ARM armv7h
community
buddy
2.4
(2.4-6)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
Debian 10
buster/main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
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
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian 12
bookworm/main
buddy
2.4
(2.4+dfsg-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tille@debian.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
Debian Unstable
sid/main
buddy
2.4
(2.4+dfsg-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tille@debian.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
Deepin
main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Link(s):
Upstream homepage
redir
Devuan 3.0
beowulf/main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
Link(s):
Upstream homepage
redir
Devuan 4.0
chimaera/main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
Link(s):
Upstream homepage
redir
Devuan Unstable
unstable/main
buddy
2.4
(2.4+dfsg-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tille@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
DPorts
science/buddy
2.4
(2.4_2)
Summary:
Binary Decision Diagram library
Maintainer:
ports@freebsd.org
Category:
science
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Build log
ok
,
no IPv6
Upstream homepage
redir
FreeBSD Ports
science/buddy
2.4
(2.4_2)
Summary:
Binary Decision Diagram library
Maintainer:
ports@freebsd.org
Category:
science
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
redir
Gentoo
sci-libs/buddy
2.4
(2.4-r1)
Summary:
Binary Decision Diagram Package
Maintainer:
sci@gentoo.org
Category:
sci-libs
License:
buddy
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
Upstream homepage
ok
Kali Linux Rolling
main
buddy
2.4
(2.4+dfsg-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tille@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
LiGurOS stable
sci-libs/buddy
2.4
(2.4-r1)
Summary:
Binary Decision Diagram Package
Maintainer:
sci@gentoo.org
Category:
sci-libs
License:
buddy
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
Upstream homepage
ok
LiGurOS develop
sci-libs/buddy
2.4
(2.4-r1)
Summary:
Binary Decision Diagram Package
Maintainer:
sci@gentoo.org
Category:
sci-libs
License:
buddy
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
Upstream homepage
ok
MacPorts
buddy
2.4
Summary:
binary decision diagram package
Maintainer:
nomaintainer@macports.org
Category:
math
License:
MIT
Link(s):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
redir
Manjaro Stable
community
buddy
2.4
(2.4-6)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Upstream homepage
ok
Manjaro Testing
community
buddy
2.4
(2.4-6)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Upstream homepage
ok
Manjaro Unstable
extra
buddy
2.4
(2.4-6)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Upstream homepage
ok
nixpkgs stable 21.11
buddy
2.4
Summary:
Binary decision diagram package
Maintainer:
fallback-mnt-nix@repology
License:
as-is
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 22.05
buddy
2.4
Summary:
Binary decision diagram package
Maintainer:
fallback-mnt-nix@repology
License:
as-is
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 22.11
buddy
2.4
Summary:
Binary decision diagram package
Maintainer:
fallback-mnt-nix@repology
License:
as-is
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
buddy
2.4
Summary:
Binary decision diagram package
Maintainer:
fallback-mnt-nix@repology
License:
as-is
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
Parabola
extra
buddy
2.4
(2.4-6)
Summary:
Binary Decision Diagram Library
License:
custom
Link(s):
Package page
ok
Upstream homepage
ok
Pardus 21
main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
Link(s):
Upstream homepage
redir
Parrot
parrot-updates/main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
Link(s):
Upstream homepage
redir
Parrot
parrot/main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
Link(s):
Upstream homepage
redir
pkgsrc current
devel/buddy
2.4
Summary:
Library for binary decision diagrams
Maintainer:
kristerw@netbsd.org
Category:
devel
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
redir
PureOS Amber
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
misc
Link(s):
Upstream homepage
redir
PureOS landing
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
misc
Link(s):
Upstream homepage
redir
Raspbian Oldstable
main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
Link(s):
Upstream homepage
redir
Raspbian Stable
main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
devel
Link(s):
Upstream homepage
redir
Raspbian Testing
main
buddy
2.4
(2.4+dfsg-1)
Maintainers:
debian-science-maintainers@lists.alioth.debian.org
tille@debian.org
Category:
devel
Link(s):
Upstream homepage
ok
RPM Sphere
buddy
2.4
(2.4-2.1)
Summary:
Binary decision-diagram library
Category:
Development/Libraries
License:
Public Domain
Link(s):
Upstream homepage
redir
SlackBuilds
libraries/buddy
2.4
Maintainer:
roberto@metere.it
Category:
libraries
Link(s):
Package page
ok
Package recipe (raw)
ok
Upstream homepage
ok
Upstream download
redir
,
no IPv6
Spack
buddy
2.4
Maintainer:
fallback-mnt-spack@repology
Link(s):
Package page
redir
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
Upstream download
redir
,
no IPv6
Trisquel 9.0
etiona/main
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
Link(s):
Package page
ok
Upstream homepage
redir
Trisquel 10.0
nabia/main
buddy
2.4
(2.4-11build1)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
Link(s):
Package page
ok
Upstream homepage
redir
Trisquel 11.0
aramo/main
buddy
2.4
(2.4-11build1)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
Link(s):
Package page
ok
Upstream homepage
redir
Ubuntu 14.04
trusty/universe
buddy
2.4
(2.4-9ubuntu1)
Maintainer:
ubuntu-devel-discuss@lists.ubuntu.com
Category:
universe/devel
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 16.04
xenial/universe
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 18.04
bionic/universe
buddy
2.4
(2.4-11)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
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
buddy
2.4
(2.4-11build1)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 22.04
jammy/universe
buddy
2.4
(2.4-11build1)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 22.10
kinetic/universe
buddy
2.4
(2.4-11build1)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 23.04
lunar/universe
buddy
2.4
(2.4-12)
Maintainer:
packages@qa.debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
YACP
buddy
2.4
Summary:
Binary Decision Diagram library
Category:
Libs
Link(s):
Package sources
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6