search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

Getting packages ready for Debian inclusion #862

Open sternk opened 10 years ago

sternk commented 10 years ago

Reported by cprodescu and assigned to cprodescu Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/862

The packages are currently working successfully for lucid. The PPA address is

https://launchpad.net/~hets/+archive/hets/+packages

Here are a few notes about what would be needed for Debian inclusion. For ALL packages: * Should mention source-format in debian/source/format * ITP-bugs must be created and resolved darwin - 1.4.5-1ubuntu1 * needed manpage for /usr/bin/darwin ekrhyper - 1.1.4.29062010-1 * needed manpages for /usr/bin/ekrh and /usr/bin/ekrhyper * report changes for prolog scripts upstream * bug report to lintian (missing prolog as interpreter) * .tme files should not be executable fact++ - 1.4.0-6 * needed manpage for /usr/bin/FaCT++, /usr/bin/FaCT++.Server and /usr/bin/digFaCT++ * no soname version for libfactplusplus haskell-aterm - 0.1.0.0-1 * bug report to cdbs (file-missing-in-md5sums var/lib/ghc-6.12.1/package.conf.d/aterm-0.1.0.0.conf) hets - 0.96r13948-2ubuntu1 * not proper clean target * does not clean the make check target * clean should clean more than distclean * lots of files where they do not belong (images, scripts in usr/lib) maude - 2alpha94-3 * no sources * needed manpage for /usr/bin/maude minisat - 1.14-1ubuntu1 * needed mapage for /usr/bin/minisat pellet - 2.0.0-rc6-3 * no sources * needed manpage for /usr/bin/pellet protege - 4.1-1 * needed manpage for /usr/bin/protege_owl reduce - 04-Aug-10-1 * needed manpage for /usr/bin/redcsl * lots of files where they do not belong (images, fonts in usr/lib) twelf - 1.5R3r1687-2 * needed manpage for /usr/bin/twelf-server udrawgraph - 3.1.1-2 * no sources * needed manpage for /usr/bin/daVinci and /usr/bin/uDrawGraph * lots of files where they do not belong (images in usr/lib) zchaff - 2008.10.12-1ubuntu1 * needed manpage for binaries zchaff, cnf_stats, zminimal and zverify_df \ report changes to cpp sources upstream

sternk commented 10 years ago

Comment by maeder Migrated from http://trac.informatik.uni-bremen.de:8080/hets/ticket/862#comment:1

What do I need to do here?