13 Commits

Author	SHA1	Message	Date
Felix Buehler	9feb246fb8	ceptre: switch to fetchFromGitHub	2022-03-16 00:45:13 +01:00
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