the package Bialgebroids has been renamed to Algebroids

homalg-project · May 23, 2020 · af8078a · af8078a
1 parent 300e96d
commit af8078a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -22,7 +22,7 @@ jobs:
           git clone --depth 1 https://github.com/homalg-project/InfiniteLists
           git clone --depth 1 https://github.com/homalg-project/ComplexesCategories
           git clone --depth 1 https://github.com/homalg-project/QPA2
-          git clone --depth 1 https://github.com/homalg-project/Bialgebroids
+          git clone --depth 1 https://github.com/homalg-project/Algebroids
           git clone --depth 1 https://github.com/homalg-project/CategoryConstructor
           git clone --depth 1 https://github.com/homalg-project/FunctorCategories
           git clone --depth 1 https://github.com/homalg-project/SubcategoriesForCAP

diff --git a/PackageInfo.g b/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
 Version := Maximum( [
-                   "2020.04.23", ## Mohamed's version
+                   "2020.04.24", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.01.01", ## Tibor's version
                    ## this line prevents merge conflicts
@@ -111,7 +111,7 @@ Dependencies := rec(
                    [ "SubcategoriesForCAP", ">= 2020.04.07" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2020.04.27" ],
-                   [ "Bialgebroids", ">= 2020.04.21" ],
+                   [ "Algebroids", ">= 2020.04.24" ],
                    [ "FunctorCategories", ">= 2020.04.21" ],
                    ],
   SuggestedOtherPackages := [ ],