3 commits

Author	SHA1	Message	Date
Patrick Elliott	dbca4eef12	Put company features behind conditional	2018-08-21 13:44:11 +02:00
Patrick Elliott	f5c1be44ba	Added quelpa recipe	2018-08-15 08:33:38 +02:00
Patrick Elliott	fa223ceafd	Added basic coq support	2018-08-14 23:21:55 +02:00