# Source: why3
# Package: libwhy3-ocaml-dev
# Versions: libwhy3-ocaml-dev (0.87.3-2), libwhy3-ocaml-dev (0.87.3-2+b1), libwhy3-ocaml-dev (0.87.3-2+b2), libwhy3-ocaml-dev (0.87.3-2+b3), libwhy3-ocaml-dev (0.87.3-2+b4), libwhy3-ocaml-dev (0.87.3-2+b5), libwhy3-ocaml-dev (0.87.3-2+b6), libwhy3-ocaml-dev (0.87.3-2+b7), libwhy3-ocaml-dev (0.88.2-1), libwhy3-ocaml-dev (0.88.2-1+b1), libwhy3-ocaml-dev (0.88.3-1), libwhy3-ocaml-dev (0.88.3-2), libwhy3-ocaml-dev (0.88.3-2+b1), libwhy3-ocaml-dev (0.88.3-3), libwhy3-ocaml-dev (1.0.0-1), libwhy3-ocaml-dev (1.0.0-2), libwhy3-ocaml-dev (1.1.0-1), libwhy3-ocaml-dev (1.1.0-1+b1), libwhy3-ocaml-dev (1.1.1-1), libwhy3-ocaml-dev (1.1.1-2), libwhy3-ocaml-dev (1.1.1-4), libwhy3-ocaml-dev (1.1.1-4+b1), libwhy3-ocaml-dev (1.2.0-1), libwhy3-ocaml-dev (1.2.0-1+b1), libwhy3-ocaml-dev (1.2.0-1+b2), libwhy3-ocaml-dev (1.2.0-1+b3), libwhy3-ocaml-dev (1.2.0-1+b4), libwhy3-ocaml-dev (1.2.0-1+b5), libwhy3-ocaml-dev (1.2.0-2), libwhy3-ocaml-dev (1.2.0-3), libwhy3-ocaml-dev (1.2.1-1), libwhy3-ocaml-dev (1.2.1-2), libwhy3-ocaml-dev (1.2.1-2+b1), libwhy3-ocaml-dev (1.2.1-2+b2), libwhy3-ocaml-dev (1.2.1-2+b3), libwhy3-ocaml-dev (1.2.1-3), libwhy3-ocaml-dev (1.2.1-5), libwhy3-ocaml-dev (1.2.1-6), libwhy3-ocaml-dev (1.3.1-1), libwhy3-ocaml-dev (1.3.1-2), libwhy3-ocaml-dev (1.3.1-3), libwhy3-ocaml-dev (1.3.1-3+b1), libwhy3-ocaml-dev (1.3.1-3+b2), libwhy3-ocaml-dev (1.3.2-1), libwhy3-ocaml-dev (1.3.3-1), libwhy3-ocaml-dev (1.3.3-1+b1), libwhy3-ocaml-dev (1.3.3-1+b2), libwhy3-ocaml-dev (1.3.3-1+b3), libwhy3-ocaml-dev (1.3.3-1+b4), libwhy3-ocaml-dev (1.3.3-1+b5), libwhy3-ocaml-dev (1.3.3-3), libwhy3-ocaml-dev (1.4.0-1), libwhy3-ocaml-dev (1.4.0-2), libwhy3-ocaml-dev (1.4.0-3), libwhy3-ocaml-dev (1.4.1-1), libwhy3-ocaml-dev (1.4.1-2), libwhy3-ocaml-dev (1.5.0-1), libwhy3-ocaml-dev (1.5.0-1+b1), libwhy3-ocaml-dev (1.5.1-1), libwhy3-ocaml-dev (1.5.1-1+b1), libwhy3-ocaml-dev (1.5.1-1+b2), libwhy3-ocaml-dev (1.5.1-1+b3), libwhy3-ocaml-dev (1.5.1-1+b4), libwhy3-ocaml-dev (1.6.0-1), libwhy3-ocaml-dev (1.6.0-1+b1), libwhy3-ocaml-dev (1.6.0-1+b2), libwhy3-ocaml-dev (1.6.0-1+b3), libwhy3-ocaml-dev (1.6.0-1+b4), libwhy3-ocaml-dev (1.6.0-1+b5), libwhy3-ocaml-dev (1.6.0-1+b6), libwhy3-ocaml-dev (1.6.0-1+b7), libwhy3-ocaml-dev (1.7.2-1), libwhy3-ocaml-dev (1.7.2-2), libwhy3-ocaml-dev (1.7.2-2+b1), libwhy3-ocaml-dev (1.7.2-2+b2), libwhy3-ocaml-dev (1.8.0-1), libwhy3-ocaml-dev (1.8.0-1+b1), libwhy3-ocaml-dev (1.8.0-2), libwhy3-ocaml-dev (1.8.0-2+b1), libwhy3-ocaml-dev (1.8.1-1), libwhy3-ocaml-dev (1.8.1-1+b1), libwhy3-ocaml-dev (1.8.2-1), libwhy3-ocaml-dev (1.8.2-1+b1), libwhy3-ocaml-dev (1.8.2-2), libwhy3-ocaml-dev (1.8.2-3), libwhy3-ocaml-dev (1.8.2-3+b1), libwhy3-ocaml-dev (1.8.2-3+b2)
# This Description is active
# Prioritize: 38
Description: OCaml librariries for why3 (dev)
 This package contains the libraries of the why3 verification platform
 for developing applications using why3.
Description-fr: <trans>
 Ce paquet fournit les bibliothèques de la plateforme de vérification why3
 pour développer des applications utilisant why3.

# other Descriptions of the libwhy3-ocaml-dev package with a translation in fr:
# 
# Description-id: 241214 https://ddtp.debian.org/ddt.cgi?desc_id=241214
# patch https://ddtp.debian.org/ddt.cgi?diff1=241214&diff2=249549&language=fr
# This Description was in sid from 2016-04-16 to 2017-01-22;
# This Description was in stretch from 2016-06-03 to 2017-02-01;
#