Bug#347172: hugs: add runhaskell?
On Sun, Jan 08, 2006 at 11:09:48PM -0800, Isaac Jones wrote: Package: hugs Version: 98.200503.08-4 Severity: wishlist from an email between me ian: Should I add a runhaskell script to the hugs package? Yes. If so, what priority should I install it at? I suggest 5620050308 5 == hugs 6 == stable (CVS snapshot would use 3) 20050308 == date Can you give me a pointer to info about installing priorities like that? Something like update-alternatives /usr/bin/runhaskell runhaskell /usr/bin/runhugs 5620050308 in postinst and update-alternatives --remove runhaskell /usr/bin/runhugs in prerm. You might like to generate the postinst so the date is filled in automagically. runhugs needs -98 to run Cabal scripts, so you may need a wrapper. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#347172: hugs: add runhaskell?
Package: hugs Version: 98.200503.08-4 Severity: wishlist from an email between me ian: Should I add a runhaskell script to the hugs package? Yes. If so, what priority should I install it at? I suggest 5620050308 5 == hugs 6 == stable (CVS snapshot would use 3) 20050308 == date Can you give me a pointer to info about installing priorities like that? Something like update-alternatives /usr/bin/runhaskell runhaskell /usr/bin/runhugs 5620050308 in postinst and update-alternatives --remove runhaskell /usr/bin/runhugs in prerm. You might like to generate the postinst so the date is filled in automagically. Thanks Ian -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'stable') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.4.27 Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) Versions of packages hugs depends on: ii libc6 2.3.5-9GNU C Library: Shared libraries an ii libncurses5 5.5-1 Shared libraries for terminal hand ii libreadline5 5.1-1 GNU readline and history libraries hugs recommends no packages. -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
