https://hal.archives-ouvertes.fr/hal-01897572
Raw File
Tip revision: ad0c16675d221938530269610308cd5a2c142687 authored by Software Heritage on 17 October 2018, 13:20:37 UTC
hal: Deposit 205 in collection hal
Tip revision: ad0c166
.header
-*- tuareg -*-

Copyright (C) 2017,2018 Yann RĂ©gis-Gianas, Nicolas Jeannerod,
Ralf Treinen.

This is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License, version 3.

Additional terms apply, due to the reproduction of portions of
the POSIX standard. Please refer to the file COPYING for details.
back to top