Skip to content

History / Egg #7: The Idris Package Manager

Edit page New page

Revisions

  • Add my $0.02 as a general package manager maintainer

    @shlevy shlevy committed Oct 19, 2015
    feec2b1

  • Added security issues and reorganised iris-package operation.

    jfdm committed Jan 4, 2015
    80a21bb

  • added link to issue for dependancy management

    jfdm committed Jan 4, 2015
    64b25cb

  • Updated Egg #7: The Idris Package Manager (org)

    jfdm committed Jan 4, 2015
    c3d34f1

  • Updated Egg #7: The Idris Package Manager (org)

    @david-christiansen david-christiansen committed Jan 4, 2015
    0948ca5

  • Updated Egg #7: The Idris Package Manager (org)

    jfdm committed Jan 3, 2015
    e97b00f

  • Updated Egg #7: The Idris Package Manager (org)

    jfdm committed Jan 3, 2015
    4920f0b

  • Updated Egg #7: The Idris Package Manager (org)

    jfdm committed Jan 3, 2015
    50b0080

  • Changed headings as styling is markdown based apparently.

    jfdm committed Jan 3, 2015
    3184a9b

  • Updated Egg #7: The Idris Package Manager (org)

    jfdm committed Jan 3, 2015
    25d4222

  • initial commit for the package manager proposal

    jfdm committed Jan 3, 2015
    ccfeaa1