Index: head/math/facile/Makefile
===================================================================
--- head/math/facile/Makefile	(revision 421848)
+++ head/math/facile/Makefile	(revision 421849)
@@ -1,27 +1,27 @@
 # Created by: arved
 # $FreeBSD$
 
 PORTNAME=	facile
-PORTVERSION=	1.1.1
+PORTVERSION=	1.1.2
 CATEGORIES=	math
 MASTER_SITES=	http://opti.recherche.enac.fr/facile/distrib/
 
 MAINTAINER=	kde@FreeBSD.org
 COMMENT=	Functional Constraint Library
 
 LICENSE=	LGPL21
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 USES=		gmake
 USE_OCAML=	yes
 HAS_CONFIGURE=	yes
 ALL_TARGET=	compile
 
 post-configure:
 	${REINPLACE_CMD} -e "s,make,${MAKE_CMD},; \
 		s,cp,${INSTALL_DATA},;\
 		s,mkdir,${MKDIR}," ${WRKSRC}/Makefile
 	${REINPLACE_CMD} -e "s,${LOCALBASE},${STAGEDIR}${PREFIX}," \
 		${WRKSRC}/config_Makefile
 
 .include <bsd.port.mk>
Index: head/math/facile/distinfo
===================================================================
--- head/math/facile/distinfo	(revision 421848)
+++ head/math/facile/distinfo	(revision 421849)
@@ -1,2 +1,3 @@
-SHA256 (facile-1.1.1.tar.gz) = 150a6c269277ce14e9c953dbcf409bfedc795abc1558ac6e338609b1e64fa38c
-SIZE (facile-1.1.1.tar.gz) = 99454
+TIMESTAMP = 1472681454
+SHA256 (facile-1.1.2.tar.gz) = ea8b72d1d171fb44c0c6dafbddac0ccb0a453a7caafd1852919d4f805eded367
+SIZE (facile-1.1.2.tar.gz) = 99755