facile-1.1.3-5.mga7 RPM for armv7hl

From Mageia 7 for armv7hl / media / core / release

FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

Provides

• facile
• facile(armv7hl-32)
• ocaml(Facile)
• ocaml(Fcl_alldiff)
• ocaml(Fcl_arith)
• ocaml(Fcl_boolean)
• ocaml(Fcl_conjunto)
• ocaml(Fcl_cstr)
• ocaml(Fcl_data)
• ocaml(Fcl_debug)
• ocaml(Fcl_domain)
• ocaml(Fcl_expr)
• ocaml(Fcl_fdArray)
• ocaml(Fcl_float)
• ocaml(Fcl_gcc)
• ocaml(Fcl_genesis)
• ocaml(Fcl_goals)
• ocaml(Fcl_interval)
• ocaml(Fcl_invariant)
• ocaml(Fcl_linear)
• ocaml(Fcl_misc)
• ocaml(Fcl_nonlinear)
• ocaml(Fcl_opti)
• ocaml(Fcl_reify)
• ocaml(Fcl_setDomain)
• ocaml(Fcl_sorting)
• ocaml(Fcl_stak)
• ocaml(Fcl_var)

Requires

• ocaml(CamlinternalFormatBasics) = e065a8b8027a7269fbe69420861f3140
• ocaml(Stdlib) = 785bc4357cd198defc8f1d3d8a46bf31
• ocaml(Stdlib__array) = f10b61e53267652b8823075c289eff0e
• ocaml(Stdlib__buffer) = 47741a304c36252fb0d02df4002cd45b
• ocaml(Stdlib__hashtbl) = 604c8339f788853d04a57b7015e3ab28
• ocaml(Stdlib__int32) = 9face80aef14e72b91da5c1a7ef42376
• ocaml(Stdlib__int64) = 678dd94a831e040b9d89ed6046dca2a3
• ocaml(Stdlib__list) = 6ac77ba2b0170f6297044c5028e5a32c
• ocaml(Stdlib__nativeint) = 9ed286c714ad64f5aea2904e599e0416
• ocaml(Stdlib__printf) = 1e129649940609c444244e9f06f0be2e
• ocaml(Stdlib__random) = 723e24b742987d757fa59507f4b45936
• ocaml(Stdlib__seq) = 5714d5da4a2ed04debb615c21e61bad9
• ocaml(Stdlib__set) = a52672326ca391bcc902a00841479c39
• ocaml(Stdlib__string) = cf3a35a636b40f4dfa3c7f93ef2f2d33
• ocaml(Stdlib__sys) = 083703b1bc3524a4912f1c97b4d508f4
• ocaml(Stdlib__uchar) = 6d473d0370eac1a310ce126c25d7883a
• ocaml(Stdlib__weak) = 68728c2d0ffeb52c81b6af75484ff4c3
• ocaml(runtime) = 4.07.1
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1

License

LGPLv2

Changelog

* Tue Oct 23 2018 tv <tv> 1.1.3-5.mga7
  + Revision: 1324018
  - rebuild with ocaml-4.07.1
* Mon Oct 22 2018 pterjan <pterjan> 1.1.3-4.mga7
  + Revision: 1323713
  - Rebuild for ocaml 4.07
* Sun Sep 23 2018 umeabot <umeabot> 1.1.3-3.mga7
  + Revision: 1297655
  - Mageia 7 Mass Rebuild
* Sun Nov 26 2017 tv <tv> 1.1.3-2.mga7
  + Revision: 1179451
  - rebuild for new ocaml
* Sat Oct 07 2017 daviddavid <daviddavid> 1.1.3-1.mga7
  + Revision: 1170021
  - new version: 1.1.3

Files

/usr/lib/ocaml/facile
/usr/lib/ocaml/facile/facile.a
/usr/lib/ocaml/facile/facile.cma
/usr/lib/ocaml/facile/facile.cmi
/usr/lib/ocaml/facile/facile.cmxa
/usr/lib/ocaml/facile/facile.mli
/usr/lib/ocaml/facile/fcl_alldiff.mli
/usr/lib/ocaml/facile/fcl_arith.mli
/usr/lib/ocaml/facile/fcl_boolean.mli
/usr/lib/ocaml/facile/fcl_conjunto.mli
/usr/lib/ocaml/facile/fcl_cstr.mli
/usr/lib/ocaml/facile/fcl_data.mli
/usr/lib/ocaml/facile/fcl_debug.mli
/usr/lib/ocaml/facile/fcl_domain.mli
/usr/lib/ocaml/facile/fcl_expr.mli
/usr/lib/ocaml/facile/fcl_fdArray.mli
/usr/lib/ocaml/facile/fcl_float.mli
/usr/lib/ocaml/facile/fcl_gcc.mli
/usr/lib/ocaml/facile/fcl_genesis.mli
/usr/lib/ocaml/facile/fcl_goals.mli
/usr/lib/ocaml/facile/fcl_interval.mli
/usr/lib/ocaml/facile/fcl_invariant.mli
/usr/lib/ocaml/facile/fcl_linear.mli
/usr/lib/ocaml/facile/fcl_misc.mli
/usr/lib/ocaml/facile/fcl_nonlinear.mli
/usr/lib/ocaml/facile/fcl_opti.mli
/usr/lib/ocaml/facile/fcl_reify.mli
/usr/lib/ocaml/facile/fcl_setDomain.mli
/usr/lib/ocaml/facile/fcl_sorting.mli
/usr/lib/ocaml/facile/fcl_stak.mli
/usr/lib/ocaml/facile/fcl_var.mli
/usr/share/doc/facile
/usr/share/doc/facile/LICENSE
/usr/share/doc/facile/README

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue May 9 12:12:40 2023