From a7da3115e27e7fa396ab11bda8c7be5f51707397 Mon Sep 17 00:00:00 2001
From: Benoit Rospars <benoit.rospars@inria.fr>
Date: Wed, 7 Jun 2023 17:07:29 +0200
Subject: [PATCH] Remove irrelevant EpocLibrary

---
 src/v1/epoc.ts | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/v1/epoc.ts b/src/v1/epoc.ts
index 99b406c..778dc7f 100644
--- a/src/v1/epoc.ts
+++ b/src/v1/epoc.ts
@@ -19,12 +19,6 @@ export interface EpocMetadata {
     download: string;
 }
 
-export interface EpocLibrary extends EpocMetadata {
-    downloading: boolean;
-    downloaded: boolean;
-    unzipping: boolean;
-}
-
 export interface Epoc extends EpocMetadata {
     certificateScore: number;
     parameters: Parameters;
-- 
GitLab