;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2016, 2017 Andy Wingo <wingo@igalia.com>
;;; Copyright © 2017, 2019 Arun Isaac <arunisaac@systemreboot.net>
;;; Copyright © 2021 Efraim Flashner <efraim@flashner.co.il>
;;; Copyright © 2021 Tobias Geerinckx-Rice <me@tobias.gr>
;;;
;;; 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/>.

(define-module (gnu packages gobby)
  #:use-module (guix packages)
  #:use-module (guix down</td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=192d74719ace67c08da1e1c682521b52ac6b0725'>refs</a><a href='/guix/log/gnu/packages/agda.scm'>log</a><a href='/guix/tree/gnu/packages/agda.scm?id=192d74719ace67c08da1e1c682521b52ac6b0725'>tree</a><a class='active' href='/guix/commit/gnu/packages/agda.scm?id=192d74719ace67c08da1e1c682521b52ac6b0725'>commit</a><a href='/guix/diff/gnu/packages/agda.scm?id=192d74719ace67c08da1e1c682521b52ac6b0725'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/agda.scm'>
<input type='hidden' name='id' value='192d74719ace67c08da1e1c682521b52ac6b0725'/><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/commit/?id=192d74719ace67c08da1e1c682521b52ac6b0725'>root</a>/<a href='/guix/commit/gnu?id=192d74719ace67c08da1e1c682521b52ac6b0725'>gnu</a>/<a href='/guix/commit/gnu/packages?id=192d74719ace67c08da1e1c682521b52ac6b0725'>packages</a>/<a href='/guix/commit/gnu/packages/agda.scm?id=192d74719ace67c08da1e1c682521b52ac6b0725'>agda.scm</a></div><div class='content'><div class='cgit-panel'><b>diff options</b><form method='get'><input type='hidden' name='id' value='192d74719ace67c08da1e1c682521b52ac6b0725'/><table><tr><td colspan='2'/></tr><tr><td class='label'>context:</td><td class='ctrl'><select name='context' onchange='this.form.submit();'><option value='1'>1</option><option value='2'>2</option><option value='3' selected='selected'>3</option><option value='4'>4</option><option value='5'>5</option><option value='6'>6</option><option value='7'>7</option><option value='8'>8</option><option value='9'>9</option><option value='10'>10</option><option value='15'>15</option><option value='20'>20</option><option value='25'>25</option><option value='30'>30</option><option value='35'>35</option><option value='40'>40</option></select></td></tr><tr><td class='label'>space:</td><td class='ctrl'><select name='ignorews' onchange='this.form.submit();'><option value='0' selected='selected'>include</option><option value='1'>ignore</option></select></td></tr><tr><td class='label'>mode:</td><td class='ctrl'><select name='dt' onchange='this.form.submit();'><option value='0' selected='selected'>unified</option><option value='1'>ssdiff</option><option value='2'>stat only</option></select></td></tr><tr><td/><td class='ctrl'><noscript><input type='submit' value='reload'/></noscript></td></tr></table></form></div><table summary='commit info' class='commit-info'>
<tr><th>author</th><td>Tobias Geerinckx-Rice &lt;me@tobias.gr&gt;</td><td class='right'>2021-06-23 02:15:25 +0200</td></tr>
<tr><th>committer</th><td>Tobias Geerinckx-Rice &lt;me@tobias.gr&gt;</td><td class='right'>2021-06-23 02:51:29 +0200</td></tr>
<tr><th>commit</th><td colspan='2' class='oid'><a href='/guix/commit/gnu/packages/agda.scm?id=192d74719ace67c08da1e1c682521b52ac6b0725'>192d74719ace67c08da1e1c682521b52ac6b0725</a> (<a href='/guix/patch/gnu/packages/agda.scm?id=192d74719ace67c08da1e1c682521b52ac6b0725'>patch</a>)</td></tr>
<tr><th>tree</th><td colspan='2' class='oid'><a href='/guix/tree/?id=192d74719ace67c08da1e1c682521b52ac6b0725'>c094b9e2131d2680802aed4e904f69d52f67564c</a> /<a href='/guix/tree/gnu/packages/agda.scm?id=192d74719ace67c08da1e1c682521b52ac6b0725'>gnu/packages/agda.scm</a></td></tr>
<tr><th>parent</th><td colspan='2' class='oid'><a href='/guix/commit/gnu/packages/agda.scm?id=a437bd9180d1af0f84229d4ae3e9cd0ab93d9fa0'>a437bd9180d1af0f84229d4ae3e9cd0ab93d9fa0</a> (<a href='/guix/diff/gnu/packages/agda.scm?id=192d74719ace67c08da1e1c682521b52ac6b0725&amp;id2=a437bd9180d1af0f84229d4ae3e9cd0ab93d9fa0'>diff</a>)</td></tr><tr><th>download</th><td colspan='2' class='oid'><a href='/guix/snapshot/guix-192d74719ace67c08da1e1c682521b52ac6b0725.tar.gz'>guix-192d74719ace67c08da1e1c682521b52ac6b0725.tar.gz</a><br/><a href='/guix/snapshot/guix-192d74719ace67c08da1e1c682521b52ac6b0725.zip'>guix-192d74719ace67c08da1e1c682521b52ac6b0725.zip</a><br/></td></tr></table>
<div class='commit-subject'>gnu: cups: Fetch source directly from the Git repository.</div><div class='commit-msg'>* gnu/packages/cups.scm (cups)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
</div><div class='diffstat-header'><a href='/guix/diff/?id=192d74719ace67c08da1e1c682521b52ac6b0725'>Diffstat</a> (limited to 'gnu/packages/agda.scm')</div><table summary='diffstat' class='diffstat'></table><div class='diffstat-summary'>0 files changed, 0 insertions, 0 deletions</div><table summary='diff' class='diff'><tr><td></td></tr></table></div> <!-- class=content -->
                         <div class=footer>generated by
                             <a href="https://git.zx2c4.com/cgit/about/">
                                 cgit
                             </a>
                         </div>
                        </div> <!-- id=cgit -->
</body>
</html>
(modify-phases %standard-phases
         (add-after 'install 'move-executable
           (lambda* (#:key outputs #:allow-other-keys)
             (with-directory-excursion (assoc-ref outputs "out")
               (rename-file "bin/gobby-0.5" "bin/gobby"))
             #t)))))
    (home-page "https://gobby.github.io/")
    (synopsis "Collaborative editor")
    (description
     "Collaborative editor that supports multiple documents in one session and
a multi-user chat.  Gobby allows multiple users to edit the same document
together over the internet in real-time.")
    (license license:gpl2+)))

(define-public libinfinity
  (package
    (name "libinfinity")
    (version "0.7.2")
    (source
     (origin
       (method url-fetch)
       (uri (string-append "http://releases.0x539.de/libinfinity/libinfinity-"
                           version ".tar.gz"))
       (sha256
        (base32
         "17i3g61hxz9pzl3ryd1yr15142r25m06jfzjrpdy7ic1b8vjjw3f"))))
    (build-system gnu-build-system)
    (inputs
     `(("glib" ,glib)
       ("gsasl" ,gsasl)
       ("gtk+" ,gtk+)
       ("libxml2" ,libxml2)))
    (native-inputs
     `(("pkg-config" ,pkg-config)))
    (arguments
     `(#:configure-flags (list "--disable-static"
                               "--with-inftextgtk"
                               "--with-infgtk")))
    (home-page "https://gobby.github.io/")
    (synopsis "Infininote protocol implementation")
    (description "libinfinity is a library to build collaborative text
editors.  Changes to the text buffers are synced to all other clients over a
central server.  Even though a central server is involved, the local user sees
his changes applied instantly and the merging is done on the individual
clients.")
    (license license:lgpl2.1+)))