# GNU Guix --- Functional package management for GNU
# Copyright © 2018 Ludovic Courtès <ludo@gnu.org>
#
# This file is part of GNU Guix.
#
# GNU Guix is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or (at
# your option) any later version.
#
# GNU Guix is distributed in the hope that it will be useful, but
# WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

#
# Test 'guix describe'.
#

guix describe --version

tmpfile="t-guix-describe-$$"
trap "rm -f $tmpfile" EXIT
rm -f "$tmpfile"

if [ -d "$abs_top_srcdir/.git" ]
then
    # Since we're in a Git checkout, we can at least check that these things
    # work.
    guix describe | grep -i "checkout"
    if git --version > /dev/null 2>&1
    then
	result="`guix describe | grep commit: | cut -d : -f 2-`"
	commit="`git log | head -1 | cut -c 7-`"
	test "x$result" = "x$commit"
    fi
    guix describe -f channels
    case "`guix describe -f channels | grep url`" in
	*"(url \"$abs_top_srcdir\")") true;;
	*) false;;
    esac
else
    exit 77
fi
bc3d0843b32f313fcb538788a3fff894f777d'>commit</a><a href='/guix/diff/gnu/packages/agda.scm?id=52dbc3d0843b32f313fcb538788a3fff894f777d'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/agda.scm'>
<input type='hidden' name='id' value='52dbc3d0843b32f313fcb538788a3fff894f777d'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=52dbc3d0843b32f313fcb538788a3fff894f777d'>root</a>/<a href='/guix/log/gnu?id=52dbc3d0843b32f313fcb538788a3fff894f777d'>gnu</a>/<a href='/guix/log/gnu/packages?id=52dbc3d0843b32f313fcb538788a3fff894f777d'>packages</a>/<a href='/guix/log/gnu/packages/agda.scm?id=52dbc3d0843b32f313fcb538788a3fff894f777d'>agda.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/agda.scm?id=52dbc3d0843b32f313fcb538788a3fff894f777d&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2023-07-22 11:29:31 +0800'>2023-07-22</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=3ec8acd3dfe9f512acb8bfa3cf572d5de03d1a3b'>gnu: agda-cubical: Update to 0.5.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 11:04:54 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=e198fe4e942c58136dd4cb8ebf49cade58a8f5e3'>gnu: agda-ial: Update to ded30c410d5d40142249686572aa1acd1b2f8cc7.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:36 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=067e75e17a7f2c278eb6273824e33454d8e00566'>gnu: Add agda-1lab.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:36 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=cf2c3f797003a67c9a8d3c1400a480c617f89eda'>gnu: Add agda-cubical.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:35 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=8203e8f3c9cf0462abb9f03e42e578fe28599c36'>gnu: Add agda-categories.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:34 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=c1f8bcbbda4d90dc98d5e808049f008dffe6b979'>gnu: Add agda-stdlib.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:33 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=7a00ab05320997aeb3796689faf3167662bff287'>gnu: agda: Add AGDA_LIBDIRS search-path.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:32 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=ae29c9d26ef1bf90e45783c3ccad2b693a010b99'>gnu: emacs-agda2-mode: Switch to G-Exps.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:31 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=fe6c31e3338f73f94fcbe6fc6ff8b7543762060e'>gnu: emacs-agda2-mode: No longer inherit from agda.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:31 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=789db27c51501e77ac7be0411e1f979234cf02f5'>gnu: agda: Build info manual.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-06-04 10:59:30 +0200'>2023-06-04</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=af5d228b1303989812e48093769715fd19df5042'>gnu: agda: Update to 2.6.3 and switch to git-fetch.</a><span class='msg-avail'>...</span></td><td>Josselin Poiret</td></tr>
<tr><td><span title='2023-02-26 10:20:14 +0100'>2023-02-26</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=890a181ed1766b433b5bfe1a3419b50ffa6503cb'>gnu: Use HACKAGE-URI for packages from Hackage.</a><span class='msg-avail'>...</span></td><td>Lars-Dominik Braun</td></tr>
<tr><td><span title='2023-02-26 10:20:11 +0100'>2023-02-26</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=cad6aa8082e99fe60570e3fd53a0e5876a8f243e'>gnu: Add upstream-name property to Haskell packages.</a><span class='msg-avail'>...</span></td><td>Lars-Dominik Braun</td></tr>
<tr><td><span title='2023-02-16 22:41:03 +0200'>2023-02-16</span></td><td><a href='/guix/commit/gnu/packages/agda.scm?id=672036c6dfe508810b565f4cf38e4f2aad2f7151'>gnu: Remove unneeded module imports.</a><span class='msg-avail'>...</span></td><td>Efraim Flashner</td></tr>