update pet for rename of pet_scop_collect_* to pet_scop_get_*
[barvinok/uuh.git] / m4 / 
treebdff6e363703f8c4515f28e1b4240ec94e06cfc3
drwxr-xr-x   ..
-rw-r--r-- 2280 absolute-header.m4
-rw-r--r-- 1112 ac_cxx_gnucxx_hashmap.m4
-rw-r--r-- 685 ax_check_ntl.m4
-rw-r--r-- 12702 ax_create_pkgconfig_info.m4
-rw-r--r-- 971 ax_detect_git_head.m4
-rw-r--r-- 2158 ax_submodule.m4
-rw-r--r-- 5171 pkg.m4