futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
guix-play/guix
History
Julien Lepiller ccc4d287b7
guix: opam: Add coq support in the importer. 
* guix/import/opam.scm (get-opam-repository): Add support for coq
repositories.
(ocaml-name->guix-name): Properly name coq package.
* doc/guix.texi (Invoking guix import): Document it.
2020-12-08 16:53:07 +01:00
..
build
build-system: Add chicken-build-system.
2020-12-03 16:18:33 +01:00
build-system
build-system: Add chicken-build-system.
2020-12-03 16:18:33 +01:00
import
guix: opam: Add coq support in the importer.
2020-12-08 16:53:07 +01:00
scripts
guix: opam: Add --repo argument to importer.
2020-12-08 16:47:22 +01:00
store
database: register-items: reduce transaction scope.
2020-09-14 10:51:26 +02:00
tests
tests: Move OpenPGP helpers to (guix tests gnupg).
2020-06-16 16:10:46 +02:00
android-repo-download.scm
android-repo-download: Remove unnecessary use of Guile-JSON.
2020-09-08 00:47:35 +02:00
avahi.scm
Add Avahi support.
2020-11-29 15:08:26 +01:00
base16.scm
…
base32.scm
…
base64.scm
base64: Do not use (rnrs).
2019-12-15 00:34:05 +01:00
build-system.scm
packages: Add 'package-with-c-toolchain'.
2020-10-12 18:23:47 +02:00
bzr-download.scm
download: Pass 'http_proxy' et al. to git, hg, etc.
2019-09-05 18:33:30 +02:00
cache.scm
Remove workaround for 'time-monotonic' in Guile 2.2.2.
2020-03-22 16:49:47 +01:00
channels.scm
channels: Expose the default channel in %default-channel.
2020-11-28 00:06:14 +01:00
ci.scm
ci: Add "evaluation" method.
2020-12-07 16:15:55 +01:00
colors.scm
ui: Don't disable colors when INSIDE_EMACS is set.
2020-02-24 11:01:52 +01:00
combinators.scm
combinators: Fix typo.
2020-07-05 03:15:08 +05:30
config.scm.in
Use "guile-zlib" and "guile-lzlib" instead of (guix config).
2020-08-24 13:35:24 +02:00
cpio.scm
linux-initrd: Add special-file->cpio-header*.
2020-11-22 11:03:31 +01:00
cve.scm
lint: cve: Set a connection timeout.
2020-10-12 11:28:56 +02:00
cvs-download.scm
Use guile-zlib extension in build-side code.
2020-08-24 10:41:06 +02:00
deprecation.scm
deprecation: Add a two-element form for simple aliases.
2020-01-12 00:19:09 +01:00
derivations.scm
derivations: Avoid uses of 'write' in 'write-derivation'.
2020-08-28 23:29:07 +02:00
describe.scm
describe: Save the original value of (program-arguments).
2020-09-19 22:52:36 +02:00
diagnostics.scm
diagnostics: Add '&formatted-message'.
2020-07-25 19:11:36 +02:00
discovery.scm
discovery: Fix typo.
2020-07-05 16:07:59 +05:30
docker.scm
pack: Provide a meaningful "repository name" for Docker.
2019-09-16 10:25:31 +02:00
download.scm
download: Update docstring.
2020-10-20 16:30:15 +02:00
elf.scm
…
ftp-client.scm
Remove most uses of the _IO*F constants.
2019-01-09 14:47:53 +01:00
gexp.scm
gexp: Warn when importing (guix config) or (ice-9 …).
2020-11-05 16:13:50 +01:00
git-authenticate.scm
Use 'formatted-message' instead of '&message' where appropriate.
2020-07-25 19:11:37 +02:00
git-download.scm
Remove (guix json) and require Guile-JSON 4.3.0+.
2020-09-08 00:47:35 +02:00
git.scm
git: 'reference-available?' handles short commit IDs.
2020-12-04 23:45:09 +01:00
glob.scm
glob: Add an extra glob pattern compilation stage.
2018-03-18 22:57:17 +01:00
gnu-maintenance.scm
Use "guile-zlib" and "guile-lzlib" instead of (guix config).
2020-08-24 13:35:24 +02:00
gnupg.scm
gnupg: Accept revoked keys.
2020-04-17 23:36:47 +02:00
grafts.scm
grafts: Improve performance for derivations with many inputs.
2020-06-06 23:28:48 +02:00
graph.scm
graph: Don't insist on "Helvetica" in the Graphviz backend.
2020-10-22 17:10:21 +02:00
hg-download.scm
guix: hg-download: Add hg-predicate.
2020-11-14 10:27:00 +00:00
http-client.scm
http-client: 'http-fetch' and 'http-fetch/cached' accept #:timeout.
2020-10-12 11:28:56 +02:00
i18n.scm
…
inferior.scm
utils: Move <location> and '&error-location' to (guix diagnostics).
2020-07-25 19:11:36 +02:00
licenses.scm
import: utils: Fix license name mismatches and define CUA-OPL-1.0.
2020-10-17 22:40:18 +02:00
lint.scm
lint: Add 'check-haskell-stackage' checker.
2020-11-21 22:11:36 -05:00
man-db.scm
Use "guile-zlib" and "guile-lzlib" instead of (guix config).
2020-08-24 13:35:24 +02:00
memoization.scm
…
modules.scm
Remove traces of "GuixSD".
2019-03-13 23:12:43 +01:00
monad-repl.scm
…
monads.scm
monads, gexp: Prevent redefinition of syntax parameters.
2019-02-06 23:06:18 +01:00
nar.scm
doc: Distinguish the "nar bundle" format from "nar".
2020-09-11 17:53:58 +02:00
openpgp.scm
openpgp: '&openpgp-unrecognized-packet-error' includes type tag.
2020-10-14 15:22:55 +02:00
packages.scm
packages: Better preserve object identity when rewriting.
2020-10-20 16:30:15 +02:00
pki.scm
Switch to Guile-Gcrypt.
2018-09-04 17:25:11 +02:00
profiles.scm
profiles: Delete duplicate manifest entries in packages->manifest.
2020-12-07 12:48:26 +01:00
profiling.scm
profiling: Add a "gc" profiling component.
2019-01-15 20:24:08 +01:00
progress.scm
Remove workaround for 'time-monotonic' in Guile 2.2.2.
2020-03-22 16:49:47 +01:00
quirks.scm
quirks: Adjust patch to allow traveling back to Dec. 2018.
2020-07-24 18:56:25 +02:00
records.scm
records: Have ABI check work well for cross-compilation.
2020-04-08 00:05:45 +02:00
remote.scm
Use 'formatted-message' instead of '&message' where appropriate.
2020-07-25 19:11:37 +02:00
repl.scm
repl: Return stack traces along with exceptions.
2020-03-19 15:14:08 +01:00
scripts.scm
scripts: Use 'define-command' and have 'guix help' use that.
2020-09-10 12:27:24 +02:00
search-paths.scm
search-paths: Add 'set-search-paths'.
2018-05-10 14:53:57 +02:00
self.scm
self: Factorize package dependency enumeration.
2020-12-03 14:34:26 +01:00
serialization.scm
serialization: 'read-byte-string' makes a single read(2) call.
2020-01-24 23:56:43 +01:00
sets.scm
…
ssh.scm
ssh: Fix progress bar crash when there are zero items to send.
2020-09-02 23:59:24 +02:00
status.scm
status: Remove extra space before ellipsis.
2020-04-19 13:27:06 +02:00
store.scm
store: Fix ensure-path docstring.
2020-11-23 14:10:34 +01:00
svn-download.scm
guix: Fix download-svn-to-store.
2020-09-14 14:24:29 +01:00
swh.scm
Remove (guix json) and require Guile-JSON 4.3.0+.
2020-09-08 00:47:35 +02:00
tests.scm
tests: Do not fetch and print the random seed from the top level.
2020-10-20 16:30:16 +02:00
transformations.scm
transformations: Show '--help-transform' only where applicable.
2020-11-21 12:39:14 +01:00
ui.scm
ui: Handle multiword and empty $PAGER values.
2020-12-05 16:47:59 +01:00
upstream.scm
upstream: Handle the case where the file name has no extension.
2020-07-27 13:35:49 +02:00
utils.scm
utils: Add 'cxx-for-target'.
2020-11-16 10:26:46 +01:00
workers.scm
…