;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2022 Leo Famulari <leo@famulari.name>
;;;
;;; 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/>.

;;; This file returns a manifest of packages related to linux-libre.
;;; Simplistically, it selects packages whose names begin with "linux-libre".
;;; It is used to assist continuous integration of the kernel packages.

(use-modules (guix packages)
             (guix profiles)
             (gnu packages))

(manifest
  (map package->manifest-entry
       (fold-packages
         (lambda (package lst)
           (if (string-prefix? "linux-libre"
                               (package-name package))
             (cons package lst)
             lst))
         '())))
u/packages/coq.scm?id=fb2d58b81d6b41769330d305d27edded67db091e'>commit</a><a href='/guix/diff/gnu/packages/coq.scm?id=fb2d58b81d6b41769330d305d27edded67db091e'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/coq.scm'>
<input type='hidden' name='id' value='fb2d58b81d6b41769330d305d27edded67db091e'/><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=fb2d58b81d6b41769330d305d27edded67db091e'>root</a>/<a href='/guix/log/gnu?id=fb2d58b81d6b41769330d305d27edded67db091e'>gnu</a>/<a href='/guix/log/gnu/packages?id=fb2d58b81d6b41769330d305d27edded67db091e'>packages</a>/<a href='/guix/log/gnu/packages/coq.scm?id=fb2d58b81d6b41769330d305d27edded67db091e'>coq.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/coq.scm?id=fb2d58b81d6b41769330d305d27edded67db091e&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2024-02-08 23:15:44 +0100'>2024-02-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=4b941ab3d5dea321e1fd96dd21faf346258e2d80'>gnu: coq: Update to 8.17.1.</a></td><td>pukkamustard</td></tr>
<tr><td><span title='2024-02-08 23:15:41 +0100'>2024-02-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=c168dc5ad14787f8ba715043f62cc763789962e7'>gnu: Update coq-interval to 4.8.0.</a></td><td>pukkamustard</td></tr>
<tr><td><span title='2024-02-08 23:15:37 +0100'>2024-02-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=e154a7f43a22f84c34243dd674cb15d4ee2e90ab'>gnu: Update coq-stdpp to 1.8.0.</a></td><td>pukkamustard</td></tr>
<tr><td><span title='2024-02-08 23:15:25 +0100'>2024-02-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=3f9d44b0bdc61ddc927771b7dd995008931941bb'>gnu: Update coq-autosubst to 1.8.</a></td><td>pukkamustard</td></tr>
<tr><td><span title='2024-02-08 23:15:23 +0100'>2024-02-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=9ae0ff50acd3414bfff69b1d9db5d983fdd73976'>gnu: Update coq-mathcomp to 1.17.0.</a></td><td>pukkamustard</td></tr>
<tr><td><span title='2024-02-08 23:15:20 +0100'>2024-02-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=db7c87e07092f171c7b9c1e9713f8be76cdeaa12'>gnu: Update coq-coquelicot to 3.4.0.</a></td><td>pukkamustard</td></tr>
<tr><td><span title='2024-02-08 23:15:18 +0100'>2024-02-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=4b7cc09c8bd235616880ba652656420cdd479baa'>gnu: Update coq-gappa to 1.5.3.</a></td><td>pukkamustard</td></tr>
<tr><td><span title='2024-02-08 23:15:15 +0100'>2024-02-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=95c30e03344d78c5577e8fe6df15b385d5b48075'>gnu: Update coq-flocq to 4.1.1.</a></td><td>pukkamustard</td></tr>
<tr><td><span title='2023-11-23 12:56:43 +0100'>2023-11-23</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=33a1ee7f17338dbfa39bd00e449c667f345d41fa'>gnu: Add coq-for-coqtail.</a></td><td>Jean-Pierre De Jesus DIAZ</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/coq.scm?id=672036c6dfe508810b565f4cf38e4f2aad2f7151'>gnu: Remove unneeded module imports.</a></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2022-11-27 18:11:42 +0100'>2022-11-27</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=9ec87c97854b11466008ee68c0bfe372ac69ab1b'>gnu: coq-core: Update to 8.16.1.</a></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-10-23 17:03:09 -0700'>2022-10-23</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=d3e982dccbd8ec7e00a2ab3efa04bef8f1c16b9e'>gnu: Fix typos.</a></td><td>Vagrant Cascadian</td></tr>