<?xml version="1.0" ?>
<!DOCTYPE PISI SYSTEM "https://pisilinux.org/projeler/pisi/pisi-spec.dtd">
<PISI>
    <Source>
        <Name>ocaml</Name>
        <Homepage>https://ocaml.org/</Homepage>
        <Packager>
            <Name>Serdar Soytetir</Name>
            <Email>kaptan@pisilinux.org</Email>
        </Packager>
        <License>OPL</License>
        <License>LGPLv2.1</License>
        <IsA>app:console</IsA>
        <Summary>Fast modern type-inferring functional programming language</Summary>
        <Description>A fast modern type-inferring functional programming language descended from the ML (Meta Language) family.</Description>
        <Archive sha1sum="6fcf64b8519f47d90e35c501f64bba154ce3a2e8" type="tarxz">https://caml.inria.fr/distrib/ocaml-5.4/ocaml-5.4.1.tar.xz</Archive>
        <BuildDependencies>
            <Dependency>parallel</Dependency>
            <Dependency>zstd-devel</Dependency>
            <Dependency>zlib-devel</Dependency>
            <Dependency>gdbm-devel</Dependency>
            <Dependency>ncurses-devel</Dependency>
        </BuildDependencies>
        <Patches>
            <!-- <Patch level="1"></Patch> -->
        </Patches>
    </Source>

    <Package>
        <Name>ocaml</Name>
        <RuntimeDependencies>
            <Dependency>zlib</Dependency>
            <Dependency>ncurses</Dependency>
        </RuntimeDependencies>
        <Files>
            <Path fileType="executable">/usr/bin</Path>
            <Path fileType="library">/usr/lib</Path>
            <Path fileType="doc">/usr/share/doc</Path>
            <Path fileType="man">/usr/share/man</Path>
        </Files>
    </Package>

    <History>
        <Update release="13">
            <Date>2026-05-15</Date>
            <Version>5.4.1</Version>
            <Comment>Version bump.</Comment>
            <Name>Pisi Linux Community</Name>
            <Email>admin@pisilinux.org</Email>
        </Update>
        <Update release="12">
            <Date>2026-02-08</Date>
            <Version>5.4.0</Version>
            <Comment>Version bump.</Comment>
            <Name>Pisi Linux Community</Name>
            <Email>admin@pisilinux.org</Email>
        </Update>
        <Update release="11">
            <Date>2024-12-22</Date>
            <Version>4.14.2</Version>
            <Comment>Safety bugfix update.</Comment>
            <Name>Abdallah Abdallah</Name>
            <Email>pisiqueek@gmail.com</Email>
        </Update>
        <Update release="10">
            <Date>2022-09-23</Date>
            <Version>4.14.0</Version>
            <Comment>Version bump.</Comment>
            <Name>Mustafa Cinasal</Name>
            <Email>muscnsl@gmail.com</Email>
        </Update>
        <Update release="9">
            <Date>2020-11-07</Date>
            <Version>4.11.1</Version>
            <Comment>Version bump.</Comment>
            <Name>Mustafa Cinasal</Name>
            <Email>muscnsl@gmail.com</Email>
        </Update>
        <Update release="8">
            <Date>2020-09-23</Date>
            <Version>4.11.1</Version>
            <Comment>Version bump.</Comment>
            <Name>Mustafa Cinasal</Name>
            <Email>muscnsl@gmail.com</Email>
        </Update>
        <Update release="7">
            <Date>2020-05-13</Date>
            <Version>4.09.1</Version>
            <Comment>Version bump.</Comment>
            <Name>Mustafa Cinasal</Name>
            <Email>muscnsl@gmail.com</Email>
        </Update>
        <Update release="6">
            <Date>2019-11-25</Date>
            <Version>4.09.0</Version>
            <Comment>Version bump.</Comment>
            <Name>Mustafa Cinasal</Name>
            <Email>muscnsl@gmail.com</Email>
        </Update>
        <Update release="5">
            <Date>2019-11-25</Date>
            <Version>4.08.1</Version>
            <Comment>Version bump.</Comment>
            <Name>Mustafa Cinasal</Name>
            <Email>muscnsl@gmail.com</Email>
        </Update>
        <Update release="4">
            <Date>2018-07-29</Date>
            <Version>4.07.0</Version>
            <Comment>Version bump, add fedora's patches.</Comment>
            <Name>Ertuğrul Erata</Name>
            <Email>ertugrulerata@gmail.com</Email>
        </Update>
        <Update release="3">
            <Date>2017-03-08</Date>
            <Version>4.04.0</Version>
            <Comment>Version Bump</Comment>
            <Name>Pisi Linux Community</Name>
            <Email>admin@pisilinux.org</Email>
        </Update>
        <Update release="2">
            <Date>2016-06-09</Date>
            <Version>4.02.1</Version>
            <Comment>Release Bump</Comment>
            <Name>Pisi Linux Community</Name>
            <Email>admin@pisilinux.org</Email>
        </Update>
        <Update release="1">
            <Date>2015-04-04</Date>
            <Version>4.02.1</Version>
            <Comment>First release</Comment>
            <Name>Yusuf Aydemir</Name>
            <Email>yusuf.aydemir@pisilinux.org</Email>
        </Update>
    </History>
</PISI>
