diff options
| author | Alex Griffin <a@ajgrf.com> | 2020-09-12 07:44:50 -0500 |
|---|---|---|
| committer | Alex Griffin <a@ajgrf.com> | 2020-09-12 07:44:50 -0500 |
| commit | 58c9ee70b55256ff616fe3636309152833e3825d (patch) | |
| tree | eb9f27b9a1d196ad6579cea2650745dce05368af /nongnu/packages/coq.scm | |
| parent | 8eac4cf8e7a5ef92482a74b573bf0042c638303b (diff) | |
nongnu: linux@4.9: Update to 4.9.236.
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.236.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions