package info (click to toggle)
agda 2.8.0-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 8,552 kB
  • sloc: haskell: 106,221; lisp: 3,882; yacc: 1,665; javascript: 599; perl: 15; makefile: 8

Folder: release-notes

d .. (parent)
- - rw-r--r-- 2,931 2.2.0.md
- - rw-r--r-- 7,731 2.2.10.md
- - rw-r--r-- 595 2.2.2.md
- - rw-r--r-- 1,398 2.2.4.md
- - rw-r--r-- 8,748 2.2.6.md
- - rw-r--r-- 18,428 2.2.8.md
- - rw-r--r-- 32,591 2.3.0.md
- - rw-r--r-- 358 2.3.2.1.md
- - rw-r--r-- 394 2.3.2.2.md
- - rw-r--r-- 21,326 2.3.2.md
- - rw-r--r-- 228 2.4.0.1.md
- - rw-r--r-- 2,438 2.4.0.2.md
- - rw-r--r-- 34,474 2.4.0.md
- - rw-r--r-- 6,479 2.4.2.1.md
- - rw-r--r-- 478 2.4.2.2.md
- - rw-r--r-- 7,724 2.4.2.3.md
- - rw-r--r-- 7,808 2.4.2.4.md
- - rw-r--r-- 2,213 2.4.2.5.md
- - rw-r--r-- 11,081 2.4.2.md
- - rw-r--r-- 2,047 2.5.1.1.md
- - rw-r--r-- 211 2.5.1.2.md
- - rw-r--r-- 46,926 2.5.1.md
- - rw-r--r-- 33,015 2.5.2.md
- - rw-r--r-- 40,016 2.5.3.md
- - rw-r--r-- 465 2.5.4.1.md
- - rw-r--r-- 861 2.5.4.2.md
- - rw-r--r-- 41,092 2.5.4.md
- - rw-r--r-- 1,264 2.6.0.1.md
- - rw-r--r-- 44,345 2.6.0.md
- - rw-r--r-- 124 2.6.1.1.md
- - rw-r--r-- 404 2.6.1.2.md
- - rw-r--r-- 111 2.6.1.3.md
- - rw-r--r-- 41,780 2.6.1.md
- - rw-r--r-- 7,669 2.6.2.1.md
- - rw-r--r-- 3,342 2.6.2.2.md
- - rw-r--r-- 56,769 2.6.2.md
- - rw-r--r-- 25,705 2.6.3.md
- - rw-r--r-- 3,629 2.6.4.1.md
- - rw-r--r-- 3,386 2.6.4.2.md
- - rw-r--r-- 672 2.6.4.3.md
- - rw-r--r-- 25,515 2.6.4.md
- - rw-r--r-- 4,136 2.7.0.1.md
- - rw-r--r-- 28,246 2.7.0.md