diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-09-16 17:29:09 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-11-17 23:15:50 +0100 |
| commit | 5e12096e90a1836fdfaaada8b42e52b5d7efa3ec (patch) | |
| tree | 018a09fe1987d9663dabd45219f0be457045a6f3 /Makefile.am | |
| parent | 677b16322a950384429cf0d732cd8ddb601cde7b (diff) | |
| download | guix-5e12096e90a1836fdfaaada8b42e52b5d7efa3ec.tar.gz guix-5e12096e90a1836fdfaaada8b42e52b5d7efa3ec.zip | |
gnu: coq-mathcomp-bigenough: Use new style.
* gnu/packages/coq.scm (coq-mathcomp-bigenough) [arguments]: Use new
style and remove uneeded make flags.
Change-Id: I11a6350a10cedd682cf598ecb8660b63a12aa00d
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions