agda/package-index

Issues

• Integrate with nixpkgs

  #20 opened 4 years ago by turion
  1

• Standard library 1.5 & reverse dependencies released

  #21 opened 4 years ago by turion
  1

• ValueError: No file descriptor for the version c8c2600 of FiniteSets.

  #19 opened 5 years ago by soimort
  2

• Update the standard library version to 1.0.1

  #18 opened 6 years ago by pthariensflame
  1

• travis integration

  #17 opened 6 years ago by jonaprieto
  0

• script to check the integrity of each package

  #16 opened 6 years ago by jonaprieto
  0

• script to maintain the health of the links

  #15 opened 6 years ago by jonaprieto
  0

• git pull origin master of https://github.com/apkgbot/agda-packages

  #14 opened 6 years ago by jonaprieto
  0

• Error tagging new release

  #1 opened 8 years ago by attobot
  0