From c6c9c7d344fe60050b08758decfdd8680c6734b2 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 7 Mar 2013 19:13:55 +0100 Subject: [PATCH] remove useless opam/ dir --- opam/descr | 4 ---- opam/opam | 10 ---------- opam/url | 2 -- 3 files changed, 16 deletions(-) delete mode 100644 opam/descr delete mode 100644 opam/opam delete mode 100644 opam/url diff --git a/opam/descr b/opam/descr deleted file mode 100644 index 7dd4292..0000000 --- a/opam/descr +++ /dev/null @@ -1,4 +0,0 @@ -Simple sequence abstract datatype. - -It is intented to transfer a finite number of elements from one data structure -to another, perhaps with some intermediate transformations. diff --git a/opam/opam b/opam/opam deleted file mode 100644 index e56e6cf..0000000 --- a/opam/opam +++ /dev/null @@ -1,10 +0,0 @@ -opam-version: "1" -maintainer: "simon.cruanes@inria.fr" -build: [ - [make] - [make "install"] -] -remove: [ - ["ocamlfind" "remove" "sequence"] -] -depends: ["ocamlfind"] diff --git a/opam/url b/opam/url deleted file mode 100644 index 58a4825..0000000 --- a/opam/url +++ /dev/null @@ -1,2 +0,0 @@ -archive: "https://github.com/c-cube/sequence/archive/0.1.tar.gz" -checksum: "967d9d96332effb340f96c86c6a6bb12"