diff options
author | Pierre-Marie de Rodat | 2021-01-24 16:33:35 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat | 2021-01-24 16:34:32 +0100 |
commit | f88e3c162b538bba09204d7eaa5cf341291b3ef4 (patch) | |
tree | e155406f4ad797efcf730efc44663e46a46f1105 /.SRCINFO | |
parent | 41eb3d5f996ff2c0cd76b002cbd1d34894ca8414 (diff) | |
download | aur-f88e3c162b538bba09204d7eaa5cf341291b3ef4.tar.gz |
Remove the new GNATCOL.OS.* packages
See the TODO in prepare().
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = gnatcoll-core-git pkgdesc = GNAT Components Collection - Core packages - pkgver = r2835.ed921e27 - pkgrel = 2 + pkgver = r3121.78b9de8c + pkgrel = 1 url = https://github.com/AdaCore/gnatcoll-core/ arch = i686 arch = x86_64 @@ -14,7 +14,9 @@ pkgbase = gnatcoll-core-git conflicts = gnatcoll-core conflicts = gnatcoll source = git+https://github.com/AdaCore/gnatcoll-core.git + source = remove-os.patch sha1sums = SKIP + sha1sums = 5e22130f6cb04bfdffb930c29e0abbda7be53514 pkgname = gnatcoll-core-git |