summarylogtreecommitdiffstats
path: root/PKGBUILD
AgeCommit message (Collapse)Author
2017-10-15Update sha256sum due to upstream re-uploadJonathon Fernyhough
2017-10-13ats2-postiats-0.3.7Jonathon Fernyhough
List of major additions and changes since the last release: 1. Extending prelude/stream_vt with more functions 2. Improving ${PATSHOME}/contrib/libatscc2php/ATS2-0.3.2 3. Supporting the following style of function interface declaration: extern fun swap_boxed{a,b:type}(xy: (a, b)): (b, a) ( Note that (a, b) needs to be replaced with @(a, b) at this point ) 4. Adding stream-processing functions in prelude and libats/ML 5. Hosting for ats-lang.org moved from OPENSHIFT2 to OPENSHIFT3 6. In progress: A Functional Crash into ATS: ${PATSHOME}/doc/BOOK/ATS2FUNCRASH 7. Atscc2r34 (for transpiling ATS into R) is functioning and it is expected to be improved gradually. 8. Improving ATSLIB/libats/ML: more list0-combinators; printing stuff
2017-06-28Update for ATS2 0.3.6Jonathon Fernyhough
2017-05-19Update for ATS2 0.3.5Jonathon Fernyhough
2017-04-09Update for ATS2 0.3.4Jonathon Fernyhough
2017-03-05Update for ATS2 0.3.3Jonathon Fernyhough
2017-02-12Update to ATS 0.3.2Mario Rodas
2017-01-30Update to ATS 0.3.1Mario Rodas
2017-01-24Use https to download tarballMario Rodas
2017-01-24Update to ATS 0.3.0Mario Rodas
2016-12-23Update to ATS 0.2.13Mario Rodas
2016-12-04Add ats2-postiats.installMario Rodas
2016-12-04Update to ATS 0.2.12Mario Rodas
2016-10-20Update to ATS 0.2.11Mario Rodas
2016-09-17This updates the package to 0.2.10 and fixes the pathname issueStephan Ginthoer
(see comments on ats2-postiats AUR page) Several files mention the version number 0.2.9 even though it is version 0.2.10 The files are: ./VERSION ./configure.ac This is a cheap fix. The "bug" has been reported upstream. Also ats2-contrib can now be installed properly.
2016-09-15Revert "Update to ATS 0.2.10"Mario Rodas
0.2.10 is incorrectly packaged This reverts commit af680497b6f14951918287e9672587e140237c35.
2016-09-15Update to ATS 0.2.10Mario Rodas
2016-08-16Disable makeflags optionMario Rodas
There are problems building with custom makeflags, such as -j2 (or higher). Remove gmp from `optdepends` array, is already in `depends` array.
2016-08-12Update to ATS 0.2.9Mario Rodas
2015-12-12Update to ATS 0.2.4Mario Rodas
2015-09-01Update to ATS 0.2.2Mario Rodas
2015-07-14Update to 0.2.1Mario Rodas
2015-06-25Initial importMario Rodas