• The ‘ipkg’ file format.
• Package Distribution
• Package Use and Versioning aka Dependancy Management
• Idris Package Operation
• Executables
• Bike Shedding topics.
• Implementation language
• Security Issues
• Thoughts from the perspective of a general package manager maintainer