Parent Directory | Revision Log
|Links to HEAD:||(view) (download) (annotate)|
Drop old with now unsatisfied dep on dev-haskell/hashtables (Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
Bump agda to 2.3.2 (Portage version: 22.214.171.124/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.
|Powered by ViewVC 1.1.20|