buddy-2.4-3-x86_64.pkg.tar.xz


Advertisement

Description

buddy - Binary Decision Diagram Library

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name buddy
Package version 2.4
Package release 3
Package architecture x86_64
Package type xz
Installed size 160.00 KB
Download size 54.30 KB
Official Mirror ftp5.gwdg.de
Binary Decision Diagram Library.
Packager: Felix Yan <felixonmars@archlinux.org>. License: custom

Alternatives

Package Version Architecture Repository
buddy - - -

Requires

Name Value
gcc-libs -

Download

Type URL
Binary Package buddy-2.4-3-x86_64.pkg.tar.xz
Source Package unknown

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install buddy xz package:
    # pacman -Sy buddy

Files

Path
/usr/
/usr/include/bdd.h
/usr/include/bvec.h
/usr/include/fdd.h
/usr/lib/libbdd.so
/usr/lib/libbdd.so.0
/usr/lib/libbdd.so.0.0.0
/usr/share/
/usr/share/licenses/
/usr/share/licenses/buddy/README

See Also

Package Description
budgie-desktop-10.4+34+gd6f3519f-1-x86_64.pkg.tar.xz Modern desktop environment from the Solus Project
bugzilla-5.0.4-1-any.pkg.tar.xz bug tracker
buildah-1.0-1-x86_64.pkg.tar.xz A tool which facilitates building OCI images
bully-1.1.12.g04185d7-1-x86_64.pkg.tar.xz Retrieve WPA/WPA2 passphrase from a WPS enabled access point
bumblebee-3.2.1-17-x86_64.pkg.tar.xz NVIDIA Optimus support for Linux through VirtualGL
buoh-0.8.2-9-x86_64.pkg.tar.xz Online strips comics reader for GNOME
bup-0.29.1-2-x86_64.pkg.tar.xz Efficient backup system based on the git packfile format
busybox-1.28.4-2-x86_64.pkg.tar.xz Utilities for rescue and embedded systems
bwm-ng-0.6.1-3-x86_64.pkg.tar.xz A small and simple console-based live bandwidth monitor
byacc-20180609-1-x86_64.pkg.tar.xz Berkeley reimplementation of the Unix parser generator Yacc
byzanz-0.3.0.1-3-x86_64.pkg.tar.xz Record what's happening on your desktop
bzr-fastimport-0.14.0.r361-1-any.pkg.tar.xz Bazaar Fast Import is a plugin providing fast loading of revision control data into Bazaar
bzrtp-1.0.6-2-x86_64.pkg.tar.xz Opensource implementation of ZRTP keys exchange protocol
c-xsc-2.5.4-1-x86_64.pkg.tar.xz A C++ class library
c2hs-0.28.5-3-x86_64.pkg.tar.xz C->Haskell FFI tool that gives some cross-language type safety
Advertisement
Advertisement