diff options
Diffstat (limited to 'math/apron/pkg-descr')
| -rw-r--r-- | math/apron/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/apron/pkg-descr b/math/apron/pkg-descr index 2afaa6bb0ca2..05342782958c 100644 --- a/math/apron/pkg-descr +++ b/math/apron/pkg-descr @@ -7,5 +7,3 @@ online demonstration of static analysis. The APRON library is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. - -WWW: http://apron.cri.ensmp.fr/library/ |