Skip to content

Commit

Permalink
New version: Grassmann v0.1.1 (#129)
Browse files Browse the repository at this point in the history
UUID: 4df31cd9-4c27-5bea-88d0-e6a7146666d8
Repo: https://github.com/chakravala/Grassmann.jl.git
Tree: e8cd5e36e4c616ee20250bbf84e8615e09f11af1
  • Loading branch information
JuliaRegistrator authored and fredrikekre committed Apr 19, 2019
1 parent aa44eca commit 7a4ba8f
Show file tree
Hide file tree
Showing 4 changed files with 12 additions and 3 deletions.
7 changes: 5 additions & 2 deletions G/Grassmann/Compat.toml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
["0.0-0.1"]
["0.0-0.1.0"]
AbstractLattices = "0.1"
AbstractTensors = "0.1"
Combinatorics = "0.0-0.7"
Expand All @@ -14,5 +14,8 @@ DirectSum = "0.1-0.2"
["0.0.7"]
DirectSum = "0.1"

["0.1"]
["0.1.0"]
DirectSum = "0.2"

["0.1.1"]
DirectSum = "0.2.0-0.2"
2 changes: 2 additions & 0 deletions G/Grassmann/Deps.toml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,8 @@ DirectSum = "22fd7b30-a8c0-5bf2-aabe-97783860d07c"
Reduce = "93e0c654-6965-5f22-aba9-9c1ae6b3c259"
Requires = "ae029012-a4dd-5104-9daa-d747884805df"
StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"

["0.0-0.1.0"]
Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

["0.0.2-0.1"]
Expand Down
3 changes: 2 additions & 1 deletion G/Grassmann/Package.toml
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
authors = ["Michael Reed"]
name = "Grassmann"
uuid = "4df31cd9-4c27-5bea-88d0-e6a7146666d8"
repo = "https://github.com/chakravala/Grassmann.jl.git"
uuid = "4df31cd9-4c27-5bea-88d0-e6a7146666d8"
3 changes: 3 additions & 0 deletions G/Grassmann/Versions.toml
Original file line number Diff line number Diff line change
Expand Up @@ -18,3 +18,6 @@ git-tree-sha1 = "510cd9f3f2368d4abd26720d3a61ed9bcb2ba7d5"

["0.1.0"]
git-tree-sha1 = "8eec01c6da2d24420c2aebd172918e7364acb8f1"

["0.1.1"]
git-tree-sha1 = "e8cd5e36e4c616ee20250bbf84e8615e09f11af1"

0 comments on commit 7a4ba8f

Please sign in to comment.