caryoscelus/agda

Autor	SHA1 Wiadomość	Data
ulfn	1b59de3bb0 checking version of optional programs	19 lat temu
ulfn	5ba776b712 more m4 macros	19 lat temu
ulfn	d699115980 more intuitive version checking	19 lat temu
ulfn	2a6d0afdb5 m4 macros for configure	19 lat temu