From 1fead5cea927952b6a2f65ca0a0f1c9a7e42bef0 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Sun, 13 Jan 2019 23:03:39 +0000 Subject: 2019-01-13T23:00:02Z --- gnuradio.txt | 2 ++ 1 file changed, 2 insertions(+) (limited to 'gnuradio.txt') diff --git a/gnuradio.txt b/gnuradio.txt index 00426049249d..18e6e4c0dcfc 100644 --- a/gnuradio.txt +++ b/gnuradio.txt @@ -9,6 +9,8 @@ 'status': 'unofficial'} $ pmaint sync gnuradio WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs +WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id +WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing gnuradio Already up to date. *** synced gnuradio -- cgit v1.2.3-65-gdbad