[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[ITP/sponsor] BuDDy - a binary-decision-diagram library



I am looking for a sponsor for the following BuDDy
(http://www.itu.dk/research/buddy/) packages.

Source: buddy
Binary: libbdd-dev libbdd0
Architecture: source i386
Version: 2.0-1
Maintainer: Jens Peter Secher <jpsecher@diku.dk>
Description: 
 libbdd-dev - Library for handling Binary Decision Diagrams
 libbdd0    - Shared library for handling Binary Decision Diagrams
Files: 
 99199e2644f871aee9948c203ad85e75 629 devel optional buddy_2.0-1.dsc
 c116f4daee1391dddde2d493bcbf9384 444409 devel optional buddy_2.0.orig.tar.gz
 cfb73b48a4fec78cd4682a99007baf0b 4215 devel optional buddy_2.0-1.diff.gz
 627b61bffb4f3be066d5b092895a499c 425358 devel optional libbdd-dev_2.0-1_i386.deb
 8cb335c8595fefe195f98c5018036b35 44700 libs optional libbdd0_2.0-1_i386.deb

The packages can be found at 

deb     ftp://ftp.diku.dk/diku/users/jpsecher/debian ./
deb-src ftp://ftp.diku.dk/diku/users/jpsecher/debian ./
-- 
                                                    Jens Peter Secher
_____________________________________________________________________ 
 jpsecher@diku.dk - http://www.diku.dk/~jpsecher - (+45) 35 32 14 08
_OpenPGP fingerprint dd6a 05b0 174e bfb2 d4d9 b52e 0ee5 978a fe63 e8a1_



Reply to: