From cceb83ccd741b676285a45c5f1eaff6bfefdf127 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Wed, 15 Dec 2021 15:27:16 +0100 Subject: [PATCH] Rename package solo5_elftool -> solo5-elftool --- bin/dune | 2 +- lib/dune | 2 +- solo5_elftool.opam => solo5-elftool.opam | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename solo5_elftool.opam => solo5-elftool.opam (100%) diff --git a/bin/dune b/bin/dune index 973ed5d..fe78246 100644 --- a/bin/dune +++ b/bin/dune @@ -1,4 +1,4 @@ (executable (public_name solo5-elftool) (name main) - (libraries solo5_elftool owee cstruct cmdliner)) + (libraries solo5-elftool owee cstruct cmdliner)) diff --git a/lib/dune b/lib/dune index 6ebaca6..e0a60de 100644 --- a/lib/dune +++ b/lib/dune @@ -1,4 +1,4 @@ (library - (public_name solo5_elftool) + (public_name solo5-elftool) (name solo5_elftool) (libraries owee cstruct fmt)) diff --git a/solo5_elftool.opam b/solo5-elftool.opam similarity index 100% rename from solo5_elftool.opam rename to solo5-elftool.opam