need dependency on bash for REPLACE_BASH to work properly.
[pkgsrcv2.git] / devel / dejagnu / patches /
drwxr-xr-x   ..
-rw-r--r-- 995 patch-ab
-rw-r--r-- 896 patch-ac