packages feed

Agda-2.3.2.2: src/transl/agda/config.h

/* src/config.h.  Generated by configure.  */
/* #undef PLUGINS */
/* #undef DYNAMIC_PLUGINS */
#define NEWSYNTAX 1
/* #undef __WINDOWS__ */