← Back to branch summary

~ubuntu-branches/ubuntu/raring/agda-stdlib/raring

« back to all changes in this revision

Viewing changes to lib.cabal

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2013-04-10 10:30:20 UTC
  • mfrom: (2.1.7 experimental)
  • Revision ID: package-import@ubuntu.com-20130410103020-bcspfz3whyy5iafu
Tags: 0.7-1
* [6d52289] Imported Upstream version 0.7
* [54104d0] Update Depends and Build-Depends for this version, compatible
  with Agda 2.3.2
* [b3ddce4] No need for the .install file to be executable (thanks lintian)
* [a9a6cb7] Standards-Version → 3.9.4, no changes required

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib.cabal
1
1
name:            lib
2
 
version:         0.1
 
2
version:         0.1.0.1
3
3
cabal-version:   >= 1.8
4
4
build-type:      Simple
5
5
description:     Helper programs.
7
7
executable GenerateEverything
8
8
  hs-source-dirs:   .
9
9
  main-is:          GenerateEverything.hs
10
 
  build-depends:    base >= 4.2 && < 4.5,
 
10
  build-depends:    base >= 4.2 && < 4.7,
11
11
                    filemanip == 0.3.*,
12
 
                    filepath >= 1.1 && < 1.3
 
12
                    filepath >= 1.1 && < 1.4
13
13
 
14
14
executable AllNonAsciiChars
15
15
  hs-source-dirs:   .
16
16
  main-is:          AllNonAsciiChars.hs
17
 
  build-depends:    base >= 4.2 && < 4.5,
 
17
  build-depends:    base >= 4.2 && < 4.7,
18
18
                    filemanip == 0.3.*