patches/arxiv-api/0001-build-fix-license.patch

   1 From 489e7019ccecc44e32f6c9fe8034ebba78c72ab2 Mon Sep 17 00:00:00 2001
   2 From: Julien Moutinho <julm+gargantext@sourcephile.fr>
   3 Date: Mon, 26 Jun 2023 23:07:32 +0200
   4 Subject: [PATCH] build: fix license
   5
   6 ---
   7  crawlerArxiv.cabal | 2 +-
   8  package.yaml       | 2 +-
   9  2 files changed, 2 insertions(+), 2 deletions(-)
  10
  11 diff --git a/crawlerArxiv.cabal b/crawlerArxiv.cabal
  12 index 91add7d..c8f3fbf 100644
  13 --- a/crawlerArxiv.cabal
  14 +++ b/crawlerArxiv.cabal
  15 @@ -12,7 +12,7 @@ bug-reports:    https://github.com/delanoe/arxiv-api/issues
  16  author:         Alexandre Delanoë
  17  maintainer:     alexandre+dev@delanoe.org
  18  copyright:      2021 CNRS/A. Delanoë
  19 -license:        GPLv3
  20 +license:        GPL-3
  21  license-file:   LICENSE
  22  build-type:     Simple
  23  extra-source-files:
  24 diff --git a/package.yaml b/package.yaml
  25 index e21b965..8c3845b 100644
  26 --- a/package.yaml
  27 +++ b/package.yaml
  28 @@ -1,7 +1,7 @@
  29  name:                crawlerArxiv
  30  version:             0.1.0.0
  31  github:              "delanoe/arxiv-api"
  32 -license:             GPLv3
  33 +license:             GPL-3
  34  author:              "Alexandre Delanoë"
  35  maintainer:          "alexandre+dev@delanoe.org"
  36  copyright:           "2021 CNRS/A. Delanoë"
  37 --
  38 2.38.4
  39