← Back to branch summary

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

« back to all changes in this revision

Viewing changes to release-notes

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 09:46:46 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805094646-zqd0c4m8ndngqg6x
Tags: 0.8-1
* [4ca6fd0] Update debian/watch to fetch tarballs from github
* [84d4313] Imported Upstream version 0.8
* [7b08243] debian/control: Require agda 2.4.x per upstream
* [37e7e10] debian/control: Standards-Version → 3.9.5, no changes required.
* [9051b9d] Run upstream's "GenerateEverything" script

Show diffs side-by-side

added added

removed removed

Lines of Context:
release-notes
1
1
------------------------------------------------------------------------
 
2
Version 0.8
 
3
------------------------------------------------------------------------
 
4
 
 
5
Version 0.8 of the standard library has now been released, see
 
6
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary.
 
7
 
 
8
The library has been tested using Agda version 2.4.0.
 
9
 
 
10
Note that no guarantees are made about backwards or forwards
 
11
compatibility, the library is still at an experimental stage.
 
12
 
 
13
If you want to compile the library using the MAlonzo compiler, then
 
14
you should first install some supporting Haskell code, for instance as
 
15
follows:
 
16
 
 
17
  cd ffi
 
18
  cabal install
 
19
 
 
20
Currently the library does not support the Epic or JavaScript compiler
 
21
backends.
 
22
 
 
23
------------------------------------------------------------------------
2
24
Version 0.7
3
25
------------------------------------------------------------------------
4
26