Commit a0e8c530 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Rename the library vendored_fix.

parent b737f74a
# ------------------------------------------------------------------------------
# The name of the library.
THIS := fix
THIS := vendored_fix
# The version number is automatically set to the current date,
# unless DATE is defined on the command line.
......
(library
(name fix)
(public_name fix)
(name vendored_fix)
(public_name vendored_fix)
(synopsis "An on-demand, incremental fixed point computation algorithm")
)
(documentation
(package fix)
)
name: "fix"
name: "vendored_fix"
opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
authors: [
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment