← Back to branch summary

~ubuntu-branches/ubuntu/vivid/agda-stdlib/vivid

« back to all changes in this revision

Viewing changes to README.txt

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2011-11-29 17:00:35 UTC
  • mfrom: (1.1.3)
  • Revision ID: package-import@ubuntu.com-20111129170035-00v3pq4mmhoo5ulf
Tags: 0.6~darcs20111129t1640-1
* [ef445ab] Imported Upstream version 0.6~darcs20111129t1640
  + Darcs snapshot required for Agda 2.3.0 compatibility
* [f801f83] Update BDs and deps to require Agda 2.3.0
* [c52be90] Use 3.0 (quilt) for bz2 orig

Show diffs side-by-side

added added

removed removed

Lines of Context:
README.txt
9
9
darcs repository and want to type check README you can construct
10
10
Everything by running "cabal install && GenerateEverything".
11
11
 
12
 
Note that all library sources are located under src. The modules
13
 
README, README.* and Everything are not really part of the library, so
14
 
these modules are located in the top-level directory instead.
 
12
Note that all library sources are located under src or ffi. The
 
13
modules README, README.* and Everything are not really part of the
 
14
library, so these modules are located in the top-level directory
 
15
instead.