makeindex
Date: Sun Sep 17 13:31:04 MET DST 1995
Package: makeindex
Version: 2.12-3
Description: Makeindex, a general purpose index processor
Priority: medium
Changes:
Changed package name to makeindex
corrected debian.rules (Bug #984)
# File: <name> <size> <md5sum> <destination>
File: makeindex-2.12-3.deb 25583 00a4b8597b9d7c0d919f4c8598f9ff2a binary/tex
File: makeindex-2.12-3.tar.gz 293885 52f88ee249fdf0c59ea81049a6c7cbaf source/tex
File: makeindex-2.12-3.diff.gz 3273 574b7fdf663dc0b04dbdd27e8a08d91b source/tex
Reply to: