Package: infocom

• 4.01pl2-8 (non-free) [potato]
• 4.01pl2-7 (non-free) [slink]
• 4.01pl2-5 (non-free) [hamm]