Le 12/03/2014 17:06, Robert Lemmen a écrit :
I have zero knowledge of ocaml, but need to build it with changes as a
build dependency for something else I am experimenting with. doing that
I stumbled over something very puzzling, perhaps you could help me
understand it:
What changes?
-By: Stéphane Glondu glo...@debian.org
Description:
cduce - programming language adapted to the manipulation of XML data
Closes: 731818
Changes:
cduce (0.6.0-1) unstable; urgency=medium
.
* New upstream release (Closes: #731818)
* Update Vcs-*
Checksums-Sha1
Package: libmathcomp-coq
Version: 1.5-1
Severity: serious
Welcome to Coq 8.4pl3 (January 2014)
Coq Require Import MathComp.poly.
Error: Cannot find library Ssreflect.ssrmatching in loadpath
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (990,
Le 06/03/2014 01:36, Sylvain Le Gall a écrit :
I just pushed to git the latest version of ounit/ocaml-expect and oasis.
Can any Debian OCaml Maintainer, who should be less rusty than me, have
a look at this commit and tell me if it is ok to proceed with the
upload.
After a quick look...
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ocaml-ctypes
Version : 0.2.3
Upstream Author : Jeremy Yallop
* URL : https://github.com/ocamllabs/ocaml-ctypes
* License : Expat
Programming Lang: C, OCaml
Description
Le 19/03/2014 12:15, Stéphane Glondu a écrit :
I just pushed to git the latest version of ounit/ocaml-expect and oasis.
Can any Debian OCaml Maintainer, who should be less rusty than me, have
a look at this commit and tell me if it is ok to proceed with the
upload.
After a quick look
Le 25/03/2014 16:35, Stéphane Glondu a écrit :
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/oasis.git
[...]
Fails to build.
I've imported 0.4.4, and there are still two failing tests.
Cheers,
--
Stéphane
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ
Le 28/03/2014 17:00, Debian FTP Masters a écrit :
An exception was raised while processing the package:
Traceback (most recent call last):
File /srv/ftp-master.debian.org/dak/dak/process_policy.py, line 98, in
wrapper
function(upload, srcqueue, comments, transaction)
File
Le 17/04/2014 16:27, Thomas Leonard a écrit :
Package: libobus-ocaml-dev
Version: 1.1.5-3
[...]
This package doesn't install on armhf:
[...]
Probably, obus just needs to be rebuilt.
Not only obus, but ocaml-lastfm, lablgtk-extras, ocaml-xmlplaylist,
ocamlrss as well. I've scheduled binNMUs.
Source: dose3
Version: 3.1.3-7
Severity: serious
Dear Maintainer,
dose3 fails to build with the latest version of ocamlgraph.
Last lines of build log:
+ ocamlfind ocamlc -c -w -24 -ccopt -O9 -package extlib -package pcre
-package cudf -package ocamlgraph -pp 'camlp4o.opt -I_build
Le 25/05/2014 19:16, Manuel A. Fernandez Montecelo a écrit :
I don't know if the support is perfect/complete, but at least it already
allowed us to compile many ocaml-based packages from Debian unstable.
Really? Your patch only touches the configure script. Adding native
support for a new
Package: ocaml-mode
Version: 4.01.0-4
Submitting a proper bug report for this...
Le 28/02/2014 12:19, Emmanuel Thomé a écrit :
Setting up ocaml-mode (4.01.0-3) ...
ERROR: ocaml-mode is broken - called emacs-package-install as a
new-style add-on, but has no compat file.
Install ocaml-mode for
Le 15/06/2014 19:10, Mehdi Dogguy a écrit :
It seems that those depended-on packages don't even exist anymore.
Maybe a
BinNMU is all that is needed, but I'm quite surprised how these
dependencies
ever came about.
A new upstream release of ocaml-deriving-ocsigen has been uploaded
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ocaml-ipaddr
Version : 1.0.0
Upstream Author : David Sheets, Anil Madhavapeddy, Hugo Heuzard
* URL : https://github.com/mirage/ocaml-ipaddr
* License : ISC
Programming
Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Stéphane Glondu glo...@debian.org
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher-order logic (gtk
Dear Lifeng,
You have pushed (a few months ago) changes to the git repositories of
type-conv and bin-prot, but you have not uploaded anything. Are these
packages ready for upload?
Do you want to officially take care of Jane Street packages? They are
currently neglected and definitely need more
Le 23/09/2014 00:07, Hilko Bengen a écrit :
I have now uploaded
- type-conv_111.13.00-1~exp1
- sexplib_111.25.00-1~exp1
- bin-prot_111.03.00-1~exp1
- fieldslib_109.20.03-1~exp1
to experimental. Those are newer versions of source packages that are
already in unstable.
Thank you for
Le 23/09/2014 22:17, Hilko Bengen a écrit :
I have now uploaded
- type-conv_111.13.00-1~exp1
- sexplib_111.25.00-1~exp1
- bin-prot_111.03.00-1~exp1
- fieldslib_109.20.03-1~exp1
to experimental. Those are newer versions of source packages that are
already in unstable.
Thank you for your
Le 30/09/2014 15:14, Joachim Breitner a écrit :
currently,
https://release.debian.org/transitions/html/haskell.html
lists agda as bad on armel, armhf, hurd and others, although it is in
state uncompiled according to wanna-build (and hence there is no
transition problem). It would be nice if
Le 24/09/2014 23:11, Hilko Bengen a écrit :
I am not sure how to proceed with the other 9 packages: Should I upload
everything to experimental first or should I upload everything
(including updates of the 4 packages mentioned above) to unstable?
You choose. Right now, I don't see any
Le 26/08/2014 09:39, Joachim Breitner a écrit :
I also took the liberty of running it with a hopefully correct virtual
package detection regex for Ocaml; the result (which is at this moment
more interesting than the Haskell result) is at
https://people.debian.org/~nomeata/binNMUs-ocaml.txt
Le 15/10/2014 16:57, Sébastien Hinderer a écrit :
Is there any scheduled date for the packaging of 4.02?
It is too late for jessie now (transitions were frozen in September
[1]), it will probably be after its release.
[1] https://lists.debian.org/debian-devel-announce/2014/09/msg2.html
Le 21/11/2014 13:31, Thomas Calderon a écrit :
I submitted an ITP (#770296) and an RFS (#770449) request regarding the
packaging of Caml Crush.
[...]
First remarks:
1. There is a debian directory in the upstream tarball, is that
intentional? Keep in mind that is is ignored in favour of the
Le 02/12/2014 13:34, Thomas Calderon a écrit :
1. I have split the debian-related files from the master branch. I will
now use upstream and debian branches instead. Therefore, release
tarballs will not contain this directory.
$ tar tf ../caml-crush_1.0.4.orig.tar.gz|grep debian
Le 15/12/2014 09:23, Thomas Calderon a écrit :
I've fixed the remaining debian directory in the upstream archive
(issue related to a misplaced git tag) and I have issued a single
Changelog for the Initial release.
The latest version is available on mentors.debian.net
Uploaded. Thank you for
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: nproc
Version : 0.5.1
Upstream Author : MyLife
* URL : https://github.com/MyLifeLabs/nproc
* License : BSD-3-clause
Programming Lang: OCaml
Description : process
Le 18/02/2015 15:55, Thomas Calderon a écrit :
I am aware that the FTP masters are quite busy and probably shorthanded.
Based on your experience, could you tell me how long does it take for a
new package to get included in the main archive ?
I have no clue. Sometimes, it takes a few days,
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: camlp4
Version : 4.02.1+2
Upstream Author : Inria
* URL : https://github.com/ocaml/camlp4
* License : LGPL-2
Programming Lang: OCaml
Description : Pre Processor
Le 19/03/2015 20:34, Ralf Treinen a écrit :
Edit a .ml file with the following line:
fun () - assert false
Then, go to the first column and start deleting characters (using
DEL). When ) is reached, emacs freezes. It uses 100% CPU and makes no
system calls. This doesn't happen outside of
Le 19/03/2015 17:40, Sébastien Hinderer a écrit :
As far as Debian is concerned, the upstream is [1] and I would say it is
dead. No upstream release since 2005.
Are you aware of this repository:
https://github.com/chemoelectric/pycaml.git ?
No.
If you are aware of a better upstream (be
Package: tuareg-mode
Version: 1:2.0.7-1
Severity: important
Dear Maintainer,
Edit a .ml file with the following line:
fun () - assert false
Then, go to the first column and start deleting characters (using
DEL). When ) is reached, emacs freezes. It uses 100% CPU and makes no
system calls.
Le 05/03/2015 16:47, Sébastien Hinderer a écrit :
Does anybody here know about pycaml's maintainance status, please?
Being involved in a project that depends on it, I'd be happy to
participate to its maintainance but am not sure how to do since it's not
clear to me who maintains the project
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: ppx-tools
Version : 0.99.2
Upstream Author : Alain Frisch, LexiFi
* URL : https://github.com/alainfrisch/ppx_tools
* License : MIT
Programming Lang: OCaml
Description
Le 26/02/2015 17:00, Thorsten Alteholz a écrit :
unfortunately I have to reject your package.
Some files in build/* are licensed under QPL1.0, which is not DFSG compatible.
So this package does not fit in main ...
These are build scripts which were extracted from OCaml, which has parts
under
Le 08/05/2015 11:19, Matthias Horbach a écrit :
I noticed earlier this week that new versions of various ocaml packages
are available now. I would like to make the update, but aptitude claims
that apparently some packages (in my case libctypes-ocaml and
libfindlib-ocaml) do not want to play
Le 17/04/2015 15:21, Thomas Calderon a écrit :
I have bumped Caml Crush to 1.0.5.
It includes improved documentation, some fixes and new features.
Furthermore, I hope it address some of the concerns related to the
licensing of the project.
Is it possible to update the package in the NEW
Maintainers debian-ocaml-maint@lists.debian.org
Changed-By: Stéphane Glondu glo...@debian.org
Description:
libcalendar-ocaml - OCaml library providing operations over dates and times
(runtime)
libcalendar-ocaml-dev - OCaml library providing operations over dates and
times (dev file
libcalendar
Le 22/06/2015 15:59, Emilio Pozuelo Monfort a écrit :
Or if you can give a more detailed explanation of what will happen after ocaml
is uploaded, binNMUs are scheduled, and we have ~30 packages that are holding
the transition.
I say we remove them from testing. dak rm -Rn -s testing shows that
Package: src:virt-top
Version: 1.0.7-1
Severity: important
Dear Maintainer,
Your package FTBFS with OCaml 4.02.2:
[...]
ocamlfind ocamlopt -warn-error A -package unix,extlib,curses,str,libvirt
-package gettext-stub -package xml-light -package csv -c virt_top.ml
File virt_top.ml, line 358,
Package: src:plplot
Version: 5.10.0+dfsg-1
Severity: serious
Dear Maintainer,
Your package fails to build in unstable:
[...]
-- Configuring incomplete, errors occurred!
See also
/tmp/plplot-5.10.0+dfsg/debian/build_tmp/CMakeFiles/CMakeOutput.log.
See also
Source: dose3
Version: 3.3-3
Severity: grave
Dear Maintainer,
dose3 currently fails to build from source in unstable. End of build log:
[...]
ocamlbuild -j 10 -no-links -cflags -warn-error,FPSXY rpm/rpm.otarget
Finished, 0 targets (0 cached) in 00:00:00.
+ ocamlfind ocamlc -warn-error FPSXY
Le 19/06/2015 12:56, Emilio Pozuelo Monfort a écrit :
I see some of the failing packages have in the log:
- Finished parsing the build-deps
Wrong version of OCaml!
That does that mean the package couldn't be built because of the dependency
problems you mention?
Indeed.
My only concern
:54.0 +0200
@@ -1,3 +1,10 @@
+llvm-toolchain-3.5 (1:3.5.2-1.1) UNRELEASED; urgency=medium
+
+ * Non-maintainer upload.
+ * Fix compilation with OCaml 4.02
+
+ -- Stéphane Glondu glo...@debian.org Sat, 20 Jun 2015 08:43:54 +
+
llvm-toolchain-3.5 (1:3.5.2-1) unstable; urgency=medium
:10.0 +0200
@@ -1,3 +1,10 @@
+llvm-toolchain-3.4 (1:3.4.2-14.1) UNRELEASED; urgency=medium
+
+ * Non-maintainer upload.
+ * Fix compilation with OCaml 4.02
+
+ -- Stéphane Glondu glo...@debian.org Sat, 20 Jun 2015 06:07:10 +
+
llvm-toolchain-3.4 (1:3.4.2-14) unstable; urgency=medium
Le 21/06/2015 12:08, Vincent Bernardoff a écrit :
I'm using OpenWRT (on a MIPS platform without hardware FP) to develop an
IoT (internet of things) project, and I would like to use OCaml for it.
I don't need floating point in this project but I'd like to be able to
use a normal OCaml ecosystem
Le 23/06/2015 23:45, Eric Cooper a écrit :
I've updated approx to version 5.5-2 to fix the build failure due to
deprecation of String.create in 4.02.
Thank you.
So I'd appreciate it if someone could build it from the master branch
of git.debian.org/git/pkg-ocaml-maint/packages/approx.git and
Le 18/06/2015 17:06, Eric Cooper a écrit :
Attached is the list of packages appearing in the tracker, with an
annotation:
- unstable if the package can be binNMUed
- experimental if the package has to be uploaded from experimental
- UNRELEASED if the package has to be uploaded from git
Le 23/06/2015 01:18, Riley Baird a écrit :
Seeing as the OCaml team already maintains coq, I thought that I'd ask
whether the team would also be willing to maintain coq libraries as
well.
We already do: aac-tactics, coq-float, ssreflect, mathcomp
On one hand, coq libraries aren't written in
Package: src:monotone-viz
Version: 1.0.2-3
Severity: important
Dear Maintainer,
Your package fails to build with OCaml 4.02.2:
[...]
ocamlopt -I /usr/lib/ocaml/lablgtk2 -I glib -c app.ml
File app.ml, line 172, characters 5-27:
Error: This expression has type App.status
It has no
Hello,
I am debugging why monotone-viz doesn't compile with OCaml 4.02.2. I
have reduced the problem to the following:
$ cat query.mli
val make : #App.t - unit
$ cat app.mli
class type status =
object
method pop : unit - unit
end
class type t =
object
method query : status - unit
Le 12/06/2015 13:03, Thomas Calderon a écrit :
I have bumped Caml Crush to 1.0.6.
I was authorised to switch to a MIT license which should be more in line
with DFSG.
Is it possible to update the package in the NEW queue on ftpasters?
Done. Sorry for taking so much time.
Cheers,
--
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: transition
Dear Release Managers and OCaml Maintainers,
I would like to start the transition to OCaml 4.02.2 (released
yesterday) as soon as possible. This version has been preceded by a
release
Le 27/05/2015 19:00, Thorsten Alteholz a écrit :
unfortunately I have to reject your package.
On a short glimpse I found some files under BSD. Please put all licenses
into your debian/copyright.
There were two files (examples) under BSD, with no full license text.
I've asked upstream for
tags 790819 + unreproducible moreinfo
thanks
Le 02/07/2015 03:30, Martin Michlmayr a écrit :
ocamlnet fails to build in unstable:
I've just tried (on amd64) and it doesn't.
sbuild (Debian sbuild) 0.64.1 (13 Oct 2013) on m400-c5n1.hlinux.usa.hp.com
...
debian/rules override_dh_install
Package: tuareg-mode
Version: 1:2.0.9-2
Severity: wishlist
Dear Maintainer,
If opam is installed, the command used by tuareg-run-ocaml defaults to
/usr/bin/opam config exec -- ocaml, even if there is no ~/.opam
directory. It should at least check for existence of $OPAMROOT or
~/.opam before
Le 20/05/2015 18:36, dktrkr...@debian.org a écrit :
your package either build-depends or depends on the python-support
package, or uses dh_pysupport in debian/rules file.
I have the feeling that that dependency is useless. pycaml doesn't
provide any Python module (it provides an OCaml module
Control: tags -1 + pending
Le 04/08/2015 19:10, Valentin Lorentz a écrit :
The attached patch removes extra timestamps from the generated
documentation. Once applied, ocamldoc-generated manpages can be built
reproducibly in our current experimental framework.
With your patch, ocaml FTBFS when
Control: tags -1 + fixed-upstream pending
Le 16/01/2008 19:53, Mathijs Romans a écrit :
I'm not sure I understand the problem exactly, I'm sorry for that. I run on
AMD64 and I'm
making a shared library using the library libasmrun.a. However the linker
complains that a
relocation
Package: src:omake
Version: 0.9.8.5-3
Severity: wishlist
User: reproducible-bui...@lists.alioth.debian.org
Usertags: timestamps
Dear Maintainer,
omake embeds its build date in its executable:
$ omake --version
OMake 0.9.8.5 (release 3):
build [Fri Aug 21 17:08:33 2015]
on
Package: src:cduce
Version: 0.6.0-1
Severity: wishlist
User: reproducible-bui...@lists.alioth.debian.org
Usertags: timestamps
Dear Maintainer,
cduce embeds its build date in its executable.
To make it reproducible, it should be patched to use
SOURCE_DATE_EPOCH if it is set.
Cheers,
--
Package: ocaml
Version: 4.01.0-5
Severity: normal
User: reproducible-bui...@lists.alioth.debian.org
Usertags: toolchain randomness
Dear Maintainer,
$ touch a.ml b.ml
$ ocamlopt -for-pack Toto -c a.ml
$ ocamlopt -for-pack Toto -c b.ml
$ mkdir b1 b2
$ ocamlopt -pack -o toto.cmx a.cmx b.cmx
$ mv
Package: ocaml
Version: 4.01.0-5
User: reproducible-bui...@lists.alioth.debian.org
Usertags: toolchain randomness
Files generated by ocamlopt are not reproducible:
$ touch toto.ml
$ ocamlopt -o a toto.ml
$ ocamlopt -o b toto.ml
$ diff -u (readelf -a a) (readelf -a b)
--- /proc/self/fd/11
Le 14/08/2015 02:25, Chris Lamb a écrit :
While working on the reproducible builds effort [1], we have noticed
that ocamldoc always generates manpages with the current date.
The attached patch adds a -man-date argument to ocamldoc to accept any
arbitrary string.
This is the same as #794586,
Le 03/08/2015 13:28, Riley Baird a écrit :
A couple of weeks ago, I packaged the software
coq-highschoolgeometry in the OCaml team's alioth repository but I
have not yet been able to find a sponsor.
I've looked at the package. It looks fine. I've uploaded it. Sorry for
taking so much time.
tags 749261 + moreinfo
thanks
Le 25/05/2014 19:16, Manuel A. Fernandez Montecelo a écrit :
I don't know if the support is perfect/complete, but at least it already
allowed us to compile many ocaml-based packages from Debian unstable.
Really? Your patch only touches the configure script. Adding
Le 30/01/2013 12:55, Stefano Zacchiroli a écrit :
I think that dh_ocaml should automatically add Built-Using fields to OCaml
packages that static link OCaml code (i.e. almost all of them) coming from
other packages in the archive. This will ensure that those packages are not
removed from the
Le 04/08/2015 18:41, Valentin Lorentz a écrit :
While working on the “reproducible builds” effort [1], we have noticed
that ocamlopt relies on temporary files whose names are generated
randomly and are part of the output files' symbols.
ocamlc relies on temporary files as well. In general,
Le 09/08/2015 21:46, Chris Lamb a écrit :
My thoughts are that we can -- and should -- achieve the end result by
making the calculation deterministic in all cases, ie. moving away from
using an RNG altogher for this and basing the filename based on its
contents.
You mean, generate the file
Le 21/07/2015 17:21, Stéphane Glondu a écrit :
ocaml-fdkaac fails to build in pbuilder. [...]
Running:
apt-get source -d ocaml-fdkaac
cowbuilder --build ocaml-fdkaac_0.2.0-1.dsc
suceeds.
Sorry, I read cowbuilder instead of pbuilder. However, I just tried
with:
pbuilder --build
tags 793121 + unreproducible
thanks
Le 21/07/2015 15:22, Andreas Beckmann a écrit :
ocaml-fdkaac fails to build in pbuilder. [...]
Running:
apt-get source -d ocaml-fdkaac
cowbuilder --build ocaml-fdkaac_0.2.0-1.dsc
suceeds.
pbuilder is definitively not running the build as root [...]
Le 17/07/2015 09:46, whitequark a écrit :
Please update the ctypes package to 0.4. LLVM OCaml bindings require
ctypes =0.4 to enable their full functionality since 3.7, and due
to ctypes being outdated these are currently not built for Debian.
More information: ctypes = 0.4 needs findlib =
Le 04/08/2015 18:41, Valentin Lorentz a écrit :
While working on the “reproducible builds” effort [1], we have noticed
that ocamlopt relies on temporary files whose names are generated
randomly and are part of the output files' symbols.
See #795784, #796336 and #786913.
Therefore, we need a
Le 22/10/2015 13:14, Pierre-Marie Pédrot a écrit :
>> Does this behaviour ring a bell to someone? Isn't it the symptom of a
>> bug somewhere?
>
> Looks like a bug. Coq object files are arch-dependent but should not
> vary depending on byte- or native-compilation, as far as I understand.
Le 22/10/2015 13:21, Guillaume Melquiond a écrit :
>> By "before", I mean ocaml 4.01.0 and camlp5 6.11. By "now", I mean ocaml
>> 4.02.3 and camlp5 6.14. In both situations, coq is version 8.4pl4.
>
> I am using the debian jessie package on amd64 (so 8.4pl4dfsg-1) and I
> cannot reproduce your
Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher
Hello,
I am debugging why why and aac-tactics fail to build on bytecode
architectures in Debian with the new OCaml version.
I have noticed that generated .vo files differ, depending on whether the
file is compiled with the native or the bytecode version of coqtop. This
was not the case before.
Package: wnpp
Severity: wishlist
Owner: "Stéphane Glondu" <glo...@debian.org>
* Package name: reactivedata
Version : 0.1
Upstream Author : Hugo Heuzard
* URL : https://github.com/ocsigen/reactiveData
* License : LGPL
Programming Lang: OCa
Le 25/10/2015 07:10, Mark J. Nelson a écrit :
> Due to a change in ocaml's serialization format, unison built with an
> ocaml pre-4.02 can't synchronize with one built with 4.02 and
> later. This causes a compatibility mess, since the usual requirement
> that both endpoints must have the same
Control: reassign -1 ocaml
Control: affects -1 mlpost
Le 19/10/2015 19:48, Chris West (Faux) a écrit :
> [...]
> File "/mlpost-0.8.1/_build/mlpost.mli", line 4186:
> lexing: empty token
> 16 error(s) encountered
> Command exited with code 1.
> ocamlbuild.Makefile:198: recipe for target 'doc'
Package: src:dose3
Version: 4.0.2-1
Severity: serious
Justification: fails to build from source (but built successfully in the past)
Dear Maintainer,
dose3 fails to build on all architectures:
https://buildd.debian.org/status/package.php?p=dose3=sid
Cheers,
--
Stéphane
-- System
Le 09/10/2015 21:41, Ole Streicher a écrit :
> I tried it, but in the moment on unstable there is a dependency problem with
> ocaml:
>
> libcairo-ocaml-dev : Depends: ocaml-nox-4.01.0 which is a virtual package
> and is not provided by any available package.
> [...]
>
> This happened since
Package: src:coccinelle
Version: 1.0.0.deb-1
Severity: serious
Dear Maintainer,
coccinelle fails to build on all architectures:
https://buildd.debian.org/status/package.php?p=coccinelle=sid
Cheers,
--
Stéphane
-- System Information:
Debian Release: stretch/sid
APT prefers testing
APT
Package: src:misery
Version: 0.2-1
Severity: serious
Control: block 789133 by -1
Dear Maintainer,
misery fails to build on all architectures:
https://buildd.debian.org/status/package.php?p=misery=sid
Cheers,
--
Stéphane
-- System Information:
Debian Release: stretch/sid
APT prefers
Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Description:
coq- proof assistant for higher-order logic (toplevel and compiler)
coq-theories - proof assistant for higher-order logic (theories)
coqide - proof assistant for higher
Le 07/07/2015 21:47, Markus Wanner a écrit :
I tried updating monotone-viz. However, I cannot currently build it (on
experimental) due to dependency conflicts. Compared with the build
quoted in comment 39, I'm missing liblablgtk2-ocaml 2.18.3. Instead, I get:
The following packages have
Le 08/07/2015 18:06, Markus Wanner a écrit :
Not all libraries have been recompiled in experimental, hence using
OCaml from experimental is not so easy.
Please upload the fix to unstable. It should be backward-compatible.
I tried to build against sid, but:
File app_types.mli, line 13,
severity 790819 normal
thanks
Le 02/07/2015 13:24, Martin Michlmayr a écrit :
dh_install --fail-missing -X.so.owner -Xmod_netcgi_apache.so
cp: cannot stat 'debian/tmp//usr/lib/ocaml/netcamlbox': No such file or
directory
dh_install: cp --reflink=auto -a debian/tmp//usr/lib/ocaml/netcamlbox
Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu glo...@debian.org
* Package name: uutf
Version : 0.9.4
Upstream Author : Daniel C. Bünzli
* URL : http://erratique.ch/software/uutf
* License : BSD
Programming Lang: OCaml
Description : UTF
Now that gcc-5 migrated, can anyone give an ETA for the OCaml transition?
Cheers,
--
Stéphane
Le 30/09/2015 19:21, Emilio Pozuelo Monfort a écrit :
>> Now that gcc-5 migrated, can anyone give an ETA for the OCaml transition?
>
> Has the situation improved wrt the last status update? Can you give an update?
plplot has been removed from testing. No other improvements, but I
believe we can
Le 06/12/2015 12:15, Norbert Preining a écrit :
> * is there a way to track down who uploaded -3+b1?
For "who", I don't know. But for "why", cf
/usr/share/doc/unison2.40.102/changelog.Debian.amd64.gz:
> unison2.40.102 (2.40.102-3+b1) sid; urgency=low, binary-only=yes
>
> * Binary-only
Le 22/12/2015 00:38, Mehdi Dogguy a écrit :
>> The change done in unison 2.48 to overcome this looks pretty big... I'm
>> not sure I'll be able/willing to provide a unison2.40.102 any more.
>> Moreover, this package was created to provide compatibility with
>> previous Debian releases, but another
Le 18/11/2015 12:25, Matthis Kruse a écrit :
> after upgrading unison on both hosts it doesnt seem to recognize any changes.
> I've created several different folders with different contents.
> (to be specific: detached sign files from gpg)
> However, unison tells me that nothing has changed. I've
Le 12/01/2016 01:31, Nathael Pajani a écrit :
>> In the meantime, he are the few working solutions that have been mentioned
>> by some users:
>> 1) Copy needed binaries on systems you want to synchronize with.
>
> I tried this, it did not work.
There are many combinations possible. Generally,
int@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Description:
libcurl-ocaml - OCaml curl bindings (Runtime Library)
libcurl-ocaml-dev - OCaml libcurl bindings (Development package)
Closes: 815577
Changes:
ocurl (0.7.6-1) unstable; urgency=medium
.
* Team upload
*
Package: ftp.debian.org
Severity: normal
Dear FTP masters,
The binary packages of ocaml-ctypes (libctypes-ocaml and
libctypes-ocaml-dev) on powerpc prevent the package from migrating to
testing. Please remove them from unstable.
Cheers,
--
Stéphane
On 31/05/2016 17:49, Gangadhar wrote:
I am trying to connect remote side with Ipv6 address, but getting "bad
port" error.
./unison -sshargs "-o NumberOfPasswordPrompts=0 -o
StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null -o
ConnectTimeout=10 -o ConnectionAttempts=2 -o
int@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@debian.org>
Description:
libcurl-ocaml - OCaml curl bindings (Runtime Library)
libcurl-ocaml-dev - OCaml libcurl bindings (Development package)
Changes:
ocurl (0.7.6-2) unstable; urgency=medium
.
* Team upload
* Fix installation
Package: utop
Version: 1.18.1-1
Severity: grave
Dear maintainer,
Something is wrong with utop. In a clean chroot:
$ utop
Fatal error: exception Not_found
Besides, it is compiled without debugging information:
$ OCAMLRUNPARAM=b utop
Fatal error: exception Not_found
Called from unknown location
tags 815577 + pending
thanks
Le 22/02/2016 18:12, Thomas Leonard a écrit :
> I've had some reports of 0install hanging on Debian/Ubuntu. I suspect this is
> due to the very old version of ocurl found there:
>
> https://github.com/0install/0install/issues/54#issuecomment-186845945
Thank you, I
801 - 900 of 2172 matches
Mail list logo
