← Back to branch summary

~ubuntu-branches/ubuntu/utopic/agda-stdlib/utopic-proposed

« back to all changes in this revision

Viewing changes to lib.cabal

  • 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:
lib.cabal
7
7
executable GenerateEverything
8
8
  hs-source-dirs:   .
9
9
  main-is:          GenerateEverything.hs
10
 
  build-depends:    base >= 4.2 && < 4.4,
 
10
  build-depends:    base >= 4.2 && < 4.5,
11
11
                    filemanip == 0.3.*,
12
12
                    filepath >= 1.1 && < 1.3
13
13
 
14
14
executable AllNonAsciiChars
15
15
  hs-source-dirs:   .
16
16
  main-is:          AllNonAsciiChars.hs
17
 
  build-depends:    base >= 4.2 && < 4.4,
 
17
  build-depends:    base >= 4.2 && < 4.5,
18
18
                    filemanip == 0.3.*