#IF !DIALOG_LOADED
#DEFINE DIALOG_LOADED
<!--
    SPDX-License-Identifier: GPL-3.0-or-later OR CC-BY-SA-4.0

    Show an error/info/question dalog.

    This file is part of Haketilo.

    Copyright (C) 2022 Wojtek Kosior <koszko@koszko.org>

    File is dual-licensed. You can choose either GPLv3+, CC BY-SA or both.

    This program 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.

    This program 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 this program.  If not, see <https://www.gnu.org/licenses/>.

    I, Wojtek Kosior, thereby promise not to sue for violation of this file's
    licenses. Although I request that you do not make use of this code in a
    proprietary program, I am not going to enforce this in court.
  -->

<!--
    This is not a standalone page. This file is meant to be imported into other
    HTML code.
  -->

#LOADCSS html/reset.css
#LOADCSS html/base.css
<style>
  .left_space {
      margin-left: 3em;
  }
  .right_space {
      margin-right: 3em;
  }
  .dialog_buts {
      margin-right: auto;
      margin-left: auto;
      max-width: -moz-fit-content;
      max-width: fit-content;
  }
  .dialog_msg {
      margin-bottom: 2em;
      text-align: center;
  }
  .dialog_main_view {
      margin: 1.4em;
  }
</style>
<template>
  <div id="dialog" data-template="main_div" class="dialog_main_view">
    <div data-template="msg" class="dialog_msg"></div>
    <div data-template="ask_buts" class="dialog_buts">
      <button data-template="yes_but" class="right_space">Yes</button>
      <button data-template="no_but" class="left_space">No</button>
    </div>
    <div data-template="conf_buts" class="dialog_buts">
      <button data-template="ok_but">Ok</button>
    </div>
  </div>
</template>
#ENDIF
u</a>/<a href='/guix/log/gnu/packages?id=bfb480e76f7968f8e39e37e64681b0fd062edb1e'>packages</a>/<a href='/guix/log/gnu/packages/agda.scm?id=bfb480e76f7968f8e39e37e64681b0fd062edb1e'>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=bfb480e76f7968f8e39e37e64681b0fd062edb1e&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>