[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, master, updated. debian/8.1-1.0-4-9-g5504cd2

[Stephane Glondu]

The following commit has been merged in the master branch:
commit ba027c3abe529c69f7c52ed3cd35a2eff9125da6
Merge: 28e041a2c06f80f56efb6f0ca2b761620753a9f5 d27a393b9c8fe0af19601c2aadcd54b464d391c9
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 23 15:28:42 2009 +0100

    Merge commit 'upstream/8.2-1.2'
    
    Merge commit 'upstream/8.2-1.2'


-- 
coq-float packaging