Version française
Home     About     Download     Resources     Contact us    
Browse thread
Camllight packages
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Francois Boisson <francois@b...>
Subject: Camllight packages
Well

I'm just have done ubuntu package for camllight for maverick.

I add a caml_all interactive mode to camllight and backup it for lucid,
maverick and debian squeeze. With this mode, when doing

$ camllight caml_all

you can use libgraph, libnum and libunix in interactive mode.

debian packages:
deb http://boisson.homeip.net/debian squeeze divers
(or etch  lenny  sarge  sid  squeeze  woody)

ubuntu packages:
deb http://boisson.homeip.net/ubuntu/ maverick divers
(or breezy	dapper	edgy  feisty  gutsy  hardy  intrepid  jaunty
karmic  lucid  maverick)

apt-get install camllight

source:
deb-src http://boisson.homeip.net/source/ ./

apt-get source camllight


François Boisson