ocaml-num 1.3-3.1

Architecture: i486
Repository: i486/community
Description: Library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
Upstream URL:
License(s): LGPL2.1
Package Size: 281.42 kB
Installed Size: 1026.48 kB
Build Date: 2020-06-07 10:42:36
Last Updated: 2020-06-14 13:29:29

Dependencies (6)

Required By (3)

  • coq [deletion-list]
  • coq-doc [deletion-list]
  • coqide [deletion-list]