Commit Graph

12 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
a903fedd90 ceptre: expand platforms to unix 2021-03-09 09:16:08 +07:00
Ben Siraphob
001c0cbe54 pkgs/development/interpreters: stdenv.lib -> lib 2021-01-23 20:29:03 +07:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
volth
08f68313a4 treewide: remove redundant rec 2019-08-28 11:07:32 +00:00
Pascal Wittmann
655db9b266
ceptre: 2016-01-01 -> 2016-11-27 2017-01-09 21:36:36 +01:00
Tuomas Tynkkynen
21f17d69f6 treewide: Add lots of meta.platforms
Build-tested on x86_64 Linux & Mac.
2016-08-02 21:42:43 +03:00
Tuomas Tynkkynen
bac26e08db Fix lots of fetchgit hashes (fallout from #15469) 2016-06-03 17:17:08 +03:00
Pascal Wittmann
fa51f98133 ceptre: 2015-11-20 -> 2016-01-01 2016-01-03 20:06:12 +01:00
Pascal Wittmann
ac40e749c8 ceptre: 2015-08-30 -> 2015-11-20 2015-11-22 14:24:24 +01:00
Pascal Wittmann
855716a66b ceptre: 2015-08-15 -> 2015-08-30 2015-09-08 18:11:50 +02:00
Pascal Wittmann
46d9fbc446 ceptre: init at 2015-08-15
A linear logic programming language for modeling generative interactive systems
2015-09-05 11:20:29 +02:00