agda/agda-pkg

Issues

• Is agda-pkg maintained?

  #49 opened a year ago by wenkokke
  0

• agda-pkg does not work with standard library >= 1.5

  #47 opened 3 years ago by Ailrun
  3

• Generate HTML

  #44 opened 4 years ago by cspollard
  3

• Indexed web release of PLFA instead of dev release

  #43 opened 4 years ago by wenkokke
  1

• agda-pkg should not overwrite existing defaults and libraries

  #35 opened 4 years ago by soimort
  2

• Easy way to make a fake library from a given file

  #26 opened 4 years ago by jonaprieto
  1

• All commands need to be able to write to defaults and libraries

  #40 opened 4 years ago by alexarice
  1

• Info always returns include as `src/`

  #41 opened 4 years ago by alexarice
  1

• apkg not installed

  #39 opened 4 years ago by michel1948
  2

• Example usage with NixOS

  #37 opened 4 years ago by bbarker
  2

• Can't install standard-library

  #36 opened 4 years ago by bbarker
  7

• Show versions when Install libraries if the user requests a specific version

  #29 opened 6 years ago by jonaprieto
  1

• Installation of dependencies with version information

  #31 opened 6 years ago by jonaprieto
  0

• Be flexible when the specified version is X.X when it must be vX.X

  #30 opened 6 years ago by jonaprieto
  1

• Failing upgrading the list of available packages

  #24 opened 6 years ago by jonaprieto
  1

• Easy way to uninstall a local package

  #25 opened 6 years ago by jonaprieto
  0

• Writing a library and testing with something like apkg install --editable .

  #28 opened 6 years ago by jonaprieto
  0

• Show a warning if there is a new version of Agda-Pkg

  #27 opened 6 years ago by jonaprieto
  0

• TODO finished v0.1.29

  #23 opened 6 years ago by jonaprieto
  0

• create use cases

  #20 opened 6 years ago by apkgbot
  1

• doctor command

  #17 opened 6 years ago by jonaprieto
  0

• new command

  #18 opened 6 years ago by jonaprieto
  0

• shell completation

  #19 opened 6 years ago by jonaprieto
  0

• Install a specific version of a library

  #4 opened 6 years ago by apkgbot
  1

• Install a library from the current directory.

  #7 opened 6 years ago by apkgbot
  0

• Uninstall a library

  #5 opened 6 years ago by apkgbot
  1

• Maintain the files libraries and defaults of the .agda directory

  #3 opened 6 years ago by apkgbot
  1

• install libraries in PATH: option --AGDA-DIR=PATH

  #10 opened 6 years ago by apkgbot
  1

• Show version number of the client tool

  #12 opened 6 years ago by apkgbot
  1

• Add the search capabilities for a folder (the name of the library)

  #2 opened 6 years ago by apkgbot
  1

• Generate an Agda library folder structure in AGDA_DIR.

  #6 opened 6 years ago by apkgbot
  1

• List libraries installed

  #8 opened 6 years ago by apkgbot
  0

• Clean up the folder pointed by AGDA_DIR variable.

  #9 opened 6 years ago by apkgbot
  1

• Clone the index of repositores

  #1 opened 6 years ago by apkgbot
  1

• upgrade the database of packages

  #13 opened 6 years ago by apkgbot
  2

• info of a library

  #14 opened 6 years ago by apkgbot
  0

• Download Just download a library

  #15 opened 6 years ago by apkgbot
  1

• Update command for update a specific package!

  #16 opened 6 years ago by jonaprieto
  2

• help option to show the usage

  #11 opened 6 years ago by apkgbot
  1