Parent Directory | Revision Log
|Links to HEAD:||(view) (download) (annotate)|
Remove old version with unsatisfied dependencies (Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps (Portage version: 22.214.171.124/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Thanks to tomprince for adding support for agda-stdlib. (Portage version: 126.96.36.199/cvs/Linux x86_64)
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|