Parent Directory | Revision Log
|Links to HEAD:||(view) (download) (annotate)|
Thanks to vikraman: The agda-lib-ffi package provides some additional haskell modules which are needed by the agda standard library, such as during compilation using the MAlonzo backend. It is available inside the ffi/ directory and needs to be built and installed by the ebuild. (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps (Portage version: 126.96.36.199/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Bump agda stdlib to a development snapshot, which I just name 0.7_pre20121118 because I have to call it something, for agda 2.3.2. (Portage version: 188.8.131.52/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|