Binary descriptions:
  • agda: No summary available for agda in ubuntu artful.
  • agda-bin: No summary available for agda-bin in ubuntu artful.
  • agda-mode: No summary available for agda-mode in ubuntu artful.
  • elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu artful.
  • libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu artful.
  • libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu artful.
Last common version:
2.5.1.1-3
Ignored:


 
Comments: