Index: head/math/facile/Makefile
===================================================================
--- head/math/facile/Makefile	(revision 429834)
+++ head/math/facile/Makefile	(revision 429835)
@@ -1,27 +1,27 @@
 # Created by: arved
 # $FreeBSD$
 
 PORTNAME=	facile
-PORTVERSION=	1.1.2
+PORTVERSION=	1.1.3
 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 429834)
+++ head/math/facile/distinfo	(revision 429835)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1472681454
-SHA256 (facile-1.1.2.tar.gz) = ea8b72d1d171fb44c0c6dafbddac0ccb0a453a7caafd1852919d4f805eded367
-SIZE (facile-1.1.2.tar.gz) = 99755
+TIMESTAMP = 1482002690
+SHA256 (facile-1.1.3.tar.gz) = 5cb63ddb0dca8de12cd54dbf0de37e0fa8af54e7c1f15ee035a33ec219be8aec
+SIZE (facile-1.1.3.tar.gz) = 99656