3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

15 commits

Author SHA1 Message Date
Felix Buehler 7c784439a2 development/{arduino/compilers/interpreters}: replace name with pname&version 2021-08-21 23:02:55 +02:00
Ben Siraphob acc5f7b18a pkgs/development/compilers: stdenv.lib -> lib 2021-01-23 08:57:37 +07:00
Jan Tojnar ce90a304f1
aliceml: do not use aliases 2020-05-16 23:12:57 +02:00
Michael Reilly 84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Daniel Schaefer bac4d95aa2 treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Joachim Fasting ad902fbba1
aliceml: mark as broken
Tried fixing it, but gave up ... Has likely been non-functional for a
while, without anybody noticing.
2017-03-30 13:52:23 +02:00
Kirill Boltaev bccd75094f treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00
Tuomas Tynkkynen bac26e08db Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
Tuomas Tynkkynen 7fb29bfa73 treewide: Make explicit that 'dev' output of zlib is used 2016-05-19 10:04:38 +02:00
Tuomas Tynkkynen 47c45e2041 treewide: Make explicit that 'dev' output of gmp is used 2016-05-19 10:00:36 +02:00
Pascal Wittmann 57ec836416 aliceml: update version string 2015-05-20 18:06:18 +02:00
Chris Double b8c7afb824 Update aliceml from git to get fix for tooltips in IDE 2015-03-25 15:43:56 +13:00
Chris Double eaf74a6b77 Update aliceml to use git version of Alice ML
This allows 64 bit builds of Alice ML and removes the need for old
versions of gcc to build.

The license is changed to 'mit' from the 'bsd' that it was previously
as the COPYING files in the alice and seam repositories appear to be
the modern style MIT variant (also known as the ICU variant).

Added myself as the maintainer.
2014-11-18 01:05:42 +13:00
Bjørn Forsman 89e6eb41f2 aliceml: description improvements
Move the (long) description to "longDescription" and add a short
description in "description".
2014-06-23 12:33:10 +02:00
Chris Double b793f92233 Alice ML 1.4 programming language 2014-05-29 13:18:31 +12:00