caryoscelus/agda

作者	SHA1 备注	提交日期
Kyle Raftogianis	ad9d6b9457 Remove use of undefine in Makefiles	4 年之前
Robert Estelle	eb4d57e857 make: Add HAS_STACK to simplify checking for stack.yaml	4 年之前
Robert Estelle	5235289134 make: Move STACK var under new mk/stack.mk	4 年之前
Liang-Ting Chen	6549537601 [ re #4025 ] Revised Travis configuration - build stages (#4068)	5 年之前
Liang-Ting Chen	dfa9f6d6aa [dev] fix Makefile mistake introduced earlier	5 年之前
Liang-Ting Chen	ce0bc31e8c [ dev ] Tidy up Makefile	5 年之前