--- /tmp/apron-0.9.10-9.1hdi5ve3h/debian/libapron-dev_0.9.10-9.1_all.deb +++ libapron-dev_0.9.10-9.1_all.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2019-08-06 07:48:34.000000 debian-binary │ -rw-r--r-- 0 0 0 3492 2019-08-06 07:48:34.000000 control.tar.xz │ --rw-r--r-- 0 0 0 128040 2019-08-06 07:48:34.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 128072 2019-08-06 07:48:34.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./control │ │ │ @@ -1,13 +1,13 @@ │ │ │ Package: libapron-dev │ │ │ Source: apron │ │ │ Version: 0.9.10-9.1 │ │ │ Architecture: all │ │ │ Maintainer: Debian OCaml Maintainers │ │ │ -Installed-Size: 1414 │ │ │ +Installed-Size: 1413 │ │ │ Depends: libapron, libgmp3-dev, libmpfr-dev, libppl-dev │ │ │ Section: libdevel │ │ │ Priority: optional │ │ │ Homepage: http://apron.cri.ensmp.fr/library/ │ │ │ Description: abstract interpretation library │ │ │ The APRON library is dedicated to the static analysis of the numerical │ │ │ variables of a program by Abstract Interpretation. The aim of such an analysis │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── file list │ │ │ @@ -71,62 +71,62 @@ │ │ │ -rw-r--r-- 0 root (0) root (0) 3357 2009-09-10 15:09:56.000000 ./usr/share/doc/libapron-dev/changelog.gz │ │ │ -rw-r--r-- 0 root (0) root (0) 2372 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/copyright │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/examples/ │ │ │ -rw-r--r-- 0 root (0) root (0) 2221 2008-06-05 15:38:02.000000 ./usr/share/doc/libapron-dev/examples/Makefile │ │ │ -rw-r--r-- 0 root (0) root (0) 508 2007-03-07 15:05:19.000000 ./usr/share/doc/libapron-dev/examples/README │ │ │ -rw-r--r-- 0 root (0) root (0) 15732 2007-05-10 14:04:22.000000 ./usr/share/doc/libapron-dev/examples/example1.c │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/ │ │ │ --rw-r--r-- 0 root (0) root (0) 4702 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron.html │ │ │ --rw-r--r-- 0 root (0) root (0) 31607 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_1.html │ │ │ --rw-r--r-- 0 root (0) root (0) 5102 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_10.html │ │ │ --rw-r--r-- 0 root (0) root (0) 7276 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_11.html │ │ │ --rw-r--r-- 0 root (0) root (0) 5936 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_12.html │ │ │ --rw-r--r-- 0 root (0) root (0) 15685 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_13.html │ │ │ --rw-r--r-- 0 root (0) root (0) 9410 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_14.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4186 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_15.html │ │ │ --rw-r--r-- 0 root (0) root (0) 28697 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_16.html │ │ │ --rw-r--r-- 0 root (0) root (0) 13462 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_17.html │ │ │ --rw-r--r-- 0 root (0) root (0) 10077 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_18.html │ │ │ --rw-r--r-- 0 root (0) root (0) 5012 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_19.html │ │ │ --rw-r--r-- 0 root (0) root (0) 7109 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_2.html │ │ │ --rw-r--r-- 0 root (0) root (0) 19511 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_20.html │ │ │ --rw-r--r-- 0 root (0) root (0) 18649 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_21.html │ │ │ --rw-r--r-- 0 root (0) root (0) 18144 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_22.html │ │ │ --rw-r--r-- 0 root (0) root (0) 7134 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_23.html │ │ │ --rw-r--r-- 0 root (0) root (0) 6615 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_24.html │ │ │ --rw-r--r-- 0 root (0) root (0) 13773 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_25.html │ │ │ --rw-r--r-- 0 root (0) root (0) 32025 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_26.html │ │ │ --rw-r--r-- 0 root (0) root (0) 23434 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_27.html │ │ │ --rw-r--r-- 0 root (0) root (0) 20798 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_28.html │ │ │ --rw-r--r-- 0 root (0) root (0) 22692 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_29.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4747 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_3.html │ │ │ --rw-r--r-- 0 root (0) root (0) 19259 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_30.html │ │ │ --rw-r--r-- 0 root (0) root (0) 59570 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_31.html │ │ │ --rw-r--r-- 0 root (0) root (0) 6272 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_32.html │ │ │ --rw-r--r-- 0 root (0) root (0) 16047 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_33.html │ │ │ --rw-r--r-- 0 root (0) root (0) 35384 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_34.html │ │ │ --rw-r--r-- 0 root (0) root (0) 18504 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_35.html │ │ │ --rw-r--r-- 0 root (0) root (0) 15590 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_36.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4326 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_37.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4284 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_38.html │ │ │ --rw-r--r-- 0 root (0) root (0) 57493 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_39.html │ │ │ --rw-r--r-- 0 root (0) root (0) 11589 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_4.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4920 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_40.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4239 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_41.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4290 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_42.html │ │ │ --rw-r--r-- 0 root (0) root (0) 16290 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_43.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4996 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_44.html │ │ │ --rw-r--r-- 0 root (0) root (0) 135280 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_45.html │ │ │ --rw-r--r-- 0 root (0) root (0) 7316 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_46.html │ │ │ --rw-r--r-- 0 root (0) root (0) 15647 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_5.html │ │ │ --rw-r--r-- 0 root (0) root (0) 8146 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_6.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4847 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_7.html │ │ │ --rw-r--r-- 0 root (0) root (0) 4176 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_8.html │ │ │ --rw-r--r-- 0 root (0) root (0) 22861 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_9.html │ │ │ --rw-r--r-- 0 root (0) root (0) 5194 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_abt.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4673 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 31578 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_1.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 5073 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_10.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 7247 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_11.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 5907 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_12.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 15656 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_13.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 9381 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_14.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4157 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_15.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 28668 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_16.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 13433 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_17.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 10048 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_18.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4983 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_19.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 7080 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_2.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 19482 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_20.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 18620 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_21.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 18115 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_22.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 7105 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_23.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 6586 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_24.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 13744 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_25.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 31996 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_26.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 23405 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_27.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 20769 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_28.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 22663 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_29.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4718 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_3.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 19230 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_30.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 59541 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_31.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 6243 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_32.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 16018 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_33.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 35355 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_34.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 18475 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_35.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 15561 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_36.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4297 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_37.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4255 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_38.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 57464 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_39.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 11560 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_4.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4891 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_40.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4210 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_41.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4261 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_42.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 16261 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_43.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4967 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_44.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 135251 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_45.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 7287 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_46.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 15618 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_5.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 8117 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_6.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4818 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_7.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 4147 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_8.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 22832 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_9.html │ │ │ +-rw-r--r-- 0 root (0) root (0) 5136 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/apron_abt.html │ │ │ -rw-r--r-- 0 root (0) root (0) 17774 2019-08-06 07:48:34.000000 ./usr/share/doc/libapron-dev/html/oct_doc.html │ │ │ drwxr-xr-x 0 root (0) root (0) 0 2019-08-06 07:48:34.000000 ./usr/share/doc-base/ │ │ │ -rw-r--r-- 0 root (0) root (0) 221 2019-08-06 07:48:34.000000 ./usr/share/doc-base/apron │ │ │ lrwxrwxrwx 0 root (0) root (0) 0 2019-08-06 07:48:34.000000 ./usr/lib/libap_pkgrid.so -> libap_pkgrid.so.0 │ │ │ lrwxrwxrwx 0 root (0) root (0) 0 2019-08-06 07:48:34.000000 ./usr/lib/libap_ppl.so -> libap_ppl.so.0 │ │ │ lrwxrwxrwx 0 root (0) root (0) 0 2019-08-06 07:48:34.000000 ./usr/lib/libapron.so -> libapron.so.0 │ │ │ lrwxrwxrwx 0 root (0) root (0) 0 2019-08-06 07:48:34.000000 ./usr/lib/libboxD.so -> libboxD.so.0 │ │ ├── ./usr/share/doc/libapron-dev/html/apron.html │ │ │ @@ -87,14 +87,14 @@ │ │ │ [Top] │ │ │ [Contents] │ │ │ [Index] │ │ │ [ ? ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_1.html │ │ │ @@ -619,14 +619,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_10.html │ │ │ @@ -88,14 +88,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_11.html │ │ │ @@ -132,14 +132,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_12.html │ │ │ @@ -101,14 +101,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_13.html │ │ │ @@ -332,14 +332,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_14.html │ │ │ @@ -164,14 +164,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_15.html │ │ │ @@ -70,14 +70,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_16.html │ │ │ @@ -442,14 +442,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_17.html │ │ │ @@ -209,14 +209,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_18.html │ │ │ @@ -156,14 +156,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_19.html │ │ │ @@ -85,14 +85,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_2.html │ │ │ @@ -135,14 +135,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_20.html │ │ │ @@ -329,14 +329,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_21.html │ │ │ @@ -310,14 +310,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_22.html │ │ │ @@ -287,14 +287,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_23.html │ │ │ @@ -117,14 +117,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_24.html │ │ │ @@ -116,14 +116,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_25.html │ │ │ @@ -253,14 +253,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_26.html │ │ │ @@ -462,14 +462,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_27.html │ │ │ @@ -363,14 +363,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_28.html │ │ │ @@ -324,14 +324,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_29.html │ │ │ @@ -346,14 +346,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_3.html │ │ │ @@ -78,14 +78,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_30.html │ │ │ @@ -310,14 +310,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_31.html │ │ │ @@ -846,14 +846,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_32.html │ │ │ @@ -94,14 +94,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_33.html │ │ │ @@ -287,14 +287,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_34.html │ │ │ @@ -522,14 +522,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_35.html │ │ │ @@ -297,14 +297,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_36.html │ │ │ @@ -251,14 +251,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_37.html │ │ │ @@ -68,14 +68,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_38.html │ │ │ @@ -68,14 +68,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_39.html │ │ │ @@ -805,14 +805,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_4.html │ │ │ @@ -246,14 +246,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_40.html │ │ │ @@ -86,14 +86,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_41.html │ │ │ @@ -77,14 +77,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_42.html │ │ │ @@ -77,14 +77,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_43.html │ │ │ @@ -136,14 +136,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_44.html │ │ │ @@ -83,14 +83,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_45.html │ │ │ @@ -569,14 +569,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_46.html │ │ │ @@ -106,14 +106,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_5.html │ │ │ @@ -346,14 +346,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_6.html │ │ │ @@ -159,14 +159,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_7.html │ │ │ @@ -77,14 +77,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_8.html │ │ │ @@ -71,14 +71,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_9.html │ │ │ @@ -414,14 +414,14 @@ │ │ │   │ │ │ [ << ] │ │ │ [ Up ] │ │ │ [ >> ] │ │ │ │ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │ │ │ ├── ./usr/share/doc/libapron-dev/html/apron_abt.html │ │ │ @@ -46,15 +46,15 @@ │ │ │ [Top] │ │ │ [Contents] │ │ │ [Index] │ │ │ [ ? ] │ │ │ │ │ │

About This Document

│ │ │

│ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │

│ │ │

│ │ │ The buttons in the navigation panels have the following meaning: │ │ │

│ │ │ │ │ │ │ │ │ │ │ │ @@ -154,14 +154,14 @@ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │
Button
[Top][Contents][Index][ ? ]
│ │ │

│ │ │ │ │ │ - This document was generated by Build Daemon on August 6, 2019 using texi2html 1.82. │ │ │ + This document was generated on August 6, 2019 using texi2html 1.82. │ │ │ │ │ │
│ │ │ │ │ │

│ │ │ │ │ │