]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/gdome_xslt/debian/changelog
- better handling of proof expansion/contraction
[helm.git] / helm / DEVEL / gdome_xslt / debian / changelog
1 gdome2-xslt (0.0.5-1) unstable; urgency=low
2
3   * ocaml binding
4     - wrapped XSLT stylesheet application in a blocking section so that
5       it can be interrupted by ocaml exceptions, signals, ...
6
7  -- Stefano Zacchiroli <zack@debian.org>  Mon, 14 Jul 2003 16:05:43 +0200
8
9 gdome2-xslt (0.0.4-7) unstable; urgency=low
10
11   * rebuilt against gmetadom 0.1.10-3
12   * debian/control
13      - strictly depends on gmetadom >= 0.1.10-3 (older version are buggy
14        on mips)
15
16  -- Stefano Zacchiroli <zack@debian.org>  Mon, 14 Jul 2003 11:16:59 +0200
17
18 gdome2-xslt (0.0.4-6) unstable; urgency=low
19
20   * debian/control
21     - bumped gmetadom dependencies to >= 0.1.10-2 (to ensure that .pc
22       is available)
23
24  -- Stefano Zacchiroli <zack@debian.org>  Tue,  1 Jul 2003 10:14:14 +0200
25
26 gdome2-xslt (0.0.4-5) unstable; urgency=low
27
28   * rebuilt using gmetadom 0.1.9
29   * debian/control
30     - added build-dep on pkg-config
31     - bumped dependencies on gmetadom to 0.1.9
32     - bumped standards-version to 3.5.10
33     - changed section of -dev packages to libdevel
34     - added ${misc:Depends}
35   * debian/rules
36     - removed DH_COMPAT in favour of debian/compat
37     - removed dh_movefiles in favour of dh_install
38     - cosmetic changes
39
40  -- Stefano Zacchiroli <zack@debian.org>  Thu, 19 Jun 2003 17:05:47 +0200
41
42 gdome2-xslt (0.0.4-4) unstable; urgency=low
43
44   * Bugfix: ships also -config script
45   * Bumped Standards-Version to 3.5.9
46
47  -- Stefano Zacchiroli <zack@debian.org>  Thu, 20 Mar 2003 20:45:27 +0100
48
49 gdome2-xslt (0.0.4-3) unstable; urgency=low
50
51   * Implemented "high" level functions to set handlers for libxslt error and
52     debugging messages: setErrorCallback, setDebugCallback        (C flavour)
53   * Implemented binding for the above functions               (OCaml flavour)
54   * Bugfix: installs also i_gdome_xslt.ml, gdome_xslt_init.o
55
56  -- Stefano Zacchiroli <zack@debian.org>  Thu, 13 Mar 2003 18:07:22 +0100
57
58 gdome2-xslt (0.0.4-2) unstable; urgency=low
59
60   * Bugfix: installs also i_gdome_xslt.cmi
61
62  -- Stefano Zacchiroli <zack@debian.org>  Wed, 12 Mar 2003 18:28:27 +0100
63
64 gdome2-xslt (0.0.4-1) unstable; urgency=low
65
66   * New release
67   * Added a new interface for apply method which requires no arguments
68   * Bumped gmetadom dependencies to 0.1.6
69   * Removed << dependencies on gmetadom
70   * Bumpetd gdome2 version to 0.7.4
71
72  -- Stefano Zacchiroli <zack@debian.org>  Mon, 10 Mar 2003 17:50:42 +0100
73
74 gdome2-xslt (0.0.3-3) unstable; urgency=low
75
76   * No longer use virtual dependencies on other ocaml libraries, reverted to
77     >=/<< dependencies approach
78   * Bumped dependencies on gmetadom to version 0.1.5
79
80  -- Stefano Zacchiroli <zack@debian.org>  Fri, 24 Jan 2003 13:10:22 +0100
81
82 gdome2-xslt (0.0.3-2) unstable; urgency=low
83
84   * Use versioned ocaml standard library directory
85   * Changed deps and build-deps to ocaml-3.06-1
86   * Source named changed to gdome2-xslt
87   * Moved OCaml .so stub in <stdlib>/stublibs
88   * Moved ocaml stuff in /usr/lib/ocaml/3.06
89   * Ship also C and C++ flavours
90   * Added dep from libgdome2-xslt-ocaml to libgdome2-ocaml
91   * Added dep from libgdome2-xslt-ocaml-dev to libgdome2-ocaml-dev-0.1.4
92   * Added build-dep to libgdome2-cpp-smart-dev
93   * Provided a better Description
94   * Bumped Standards-Version to 3.5.8
95   * Better test for ocamlopt existence
96
97  -- Stefano Zacchiroli <zack@debian.org>  Sun,  8 Dec 2002 16:09:56 +0100
98
99 libxslt-ocaml (0.0.2-1) unstable; urgency=low
100
101   * Added serialization functions
102
103  -- Stefano Zacchiroli <zack@debian.org>  Thu, 28 Nov 2002 17:59:29 +0100
104
105 libxslt-ocaml (0.0.1-3) unstable; urgency=low
106
107   * Rebuilt with ocaml 3.06 (Closes: Bug#158225, Bug#158217)
108   * Upgraded Standards-Version to 3.5.6
109   * Switched deps and build-deps to ocaml-3.06 and ocaml-base-3.06
110   * Switched to debhelper 4
111
112  -- Stefano Zacchiroli <zack@debian.org>  Wed, 28 Aug 2002 11:09:04 +0200
113
114 libxslt-ocaml (0.0.1-2) unstable; urgency=low
115
116   * Added -fPIC option when compiled some .o in order to succesfully build
117     also on HPPA (Closes: Bug#142485).
118   * Renamed binary packages to libgdome2-xslt-ocaml and -dev.
119
120  -- Stefano Zacchiroli <zack@debian.org>  Fri, 12 Apr 2002 14:55:57 +0200
121
122 libxslt-ocaml (0.0.1-1) unstable; urgency=low
123
124   * Initial Release.
125
126  -- Stefano Zacchiroli <zack@debian.org>  Sat,  6 Apr 2002 13:00:49 +0200
127