It seems that after the commit of math/hs-Agda + math/hs-Agda-executable + www/hs-wai + www/hs-warp, INDEX-8 doesn't get updated. The last one updated is sysutils/fusefs-ntfs $ cd /usr/ports $ grep PORTVERSION www/hs-wai/Makefile PORTVERSION= 0.4.0 $ grep ^hs-wai INDEX-8 | cut -d "|" -f 1 hs-wai-0.3.2_1 Barbara