HCoop
/
jackhill
/
guix
/
guix.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
gnu: Add ocaml-bisect.
2017-01-04
Julien Lepiller
gnu: Add ocaml-bisect.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: Add ocaml-stringext.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: Add ocaml-qtest.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: Add ocaml-frontc.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: Add ocaml-zarith.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: Add ocamlmod.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: Add camlzip.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: Add ocaml-ounit.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: camlp4: Install camlp4 META file.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: ocaml: Use a helper function to download from...
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: Add ocaml-build-system.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: camlp4: Compile native version.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: ocaml: Fix indentation.
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
Julien Lepiller
gnu: ocaml: Add a .file directive to generated .s files.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: Reorder imports in (gnu packages ocaml).
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: Use 'license:' prefix in (gnu packages ocaml).
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: Add idris-lens.
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: Add idris-bifunctors.
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: Add idris-wl-pprint.
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: Add idris-lightyear.
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: idris: Move to (gnu packages idris).
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: idris: Update to 0.99.
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: Order module imports in (gnu packages haskell...
commit
|
commitdiff
|
tree
2017-01-04
David Craven
git-download: Add some helpers.
commit
|
commitdiff
|
tree
2017-01-04
David Craven
build-system: cargo: Use correct cargo.
commit
|
commitdiff
|
tree
2017-01-04
David Craven
gnu: Add cargo.
commit
|
commitdiff
|
tree
2017-01-01
David Craven
build-system: cargo: Handle Cargo.lock file not present.
commit
|
commitdiff
|
tree
2017-01-01
David Craven
import: crate: Provide a default home-page value.
commit
|
commitdiff
|
tree
2017-01-01
David Craven
build-system: cargo: Make Cargo.toml writeable.
commit
|
commitdiff
|
tree
2016-12-29
ng0
gnu: rustc: Update to 1.14.0.
Signed-off-by: David Craven <
david@craven.ch
>
commit
|
commitdiff
|
tree
2016-12-15
David Craven
upstream: Determine archive type correctly.
commit
|
commitdiff
|
tree
2016-12-14
David Craven
gnu: Add rustc.
commit
|
commitdiff
|
tree
2016-12-14
David Craven
gnu: Add rust bootstrap binaries.
commit
|
commitdiff
|
tree
2016-12-14
David Craven
gnu: llvm: Enable install utils.
commit
|
commitdiff
|
tree
2016-12-14
David Craven
import: Add updater for rust crates.
commit
|
commitdiff
|
tree
2016-12-14
David Craven
import: Add importer for rust crates.
commit
|
commitdiff
|
tree
2016-12-14
David Craven
import: utils: Add some utilities.
commit
|
commitdiff
|
tree
2016-12-14
David Craven
build-system: Add cargo build system.
commit
|
commitdiff
|
tree
2016-12-14
Ludovic Courtès
upstream: Use first url when it lacks an extension.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: Add ocaml-menhir.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: coq: Update to 8.5pl2.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: idris: Update to 0.12.3.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: ghc-trifecta: Update to 1.6.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: Add ghc-terminal-size.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: Add ghc-ieee754.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: Add ghc-tasty-rerun.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: Add ghc-fsnotify.
commit
|
commitdiff
|
tree
2016-12-10
David Craven
gnu: Add ghc-hinotify.
commit
|
commitdiff
|
tree
2016-12-02
John Darrington
gnu: file-system-shepherd-service: Use mount-file-system.
commit
|
commitdiff
|
tree
2016-11-29
David Craven
gnu: guix-0.11.0: Add guile-ssh to inputs.
commit
|
commitdiff
|
tree
2016-10-30
Theodoros Foradis
gnu: Add openocd.
commit
|
commitdiff
|
tree
2016-10-30
David Craven
gnu: Add jimtcl.
commit
|
commitdiff
|
tree
2016-10-30
David Craven
gnu: Add libjaylink.
commit
|
commitdiff
|
tree
2016-10-30
Theodoros Foradis
gnu: Add hidapi.
commit
|
commitdiff
|
tree
2016-10-30
Theodoros Foradis
gnu: Add gdb-arm-none-eabi.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: icecat: Enable gtk3 support.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
doc: Add information related to network connectivity...
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: sdcc: Enable ucsim.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: plasma-framework: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kxmlrpcclient: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kxmlgui: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kwallet: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: ktextwidgets: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: ktexteditor: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kservice: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: krunner: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kpeople: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kparts: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: knotifyconfig: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: knewstuff: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kio: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kinit: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kiconthemes: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kglobalaccel: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kemoticons: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kdesu: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kdesignerplugin: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kded: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kdeclarative: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kconfigwidgets: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kcmutils: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kbookmarks: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kactivities-stats: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kactivities: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: baloo: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kunitconversion: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kpty: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kpackage: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: knotifications: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kjobwidgets: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kimageformats: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kfilemetadata: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kdoctools: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kcrash: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kcompletion: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: kauth: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: threadweaver: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: sonnet: Update to 5.27.0.
commit
|
commitdiff
|
tree
2016-10-29
David Craven
gnu: solid: Update to 5.27.0.
commit
|
commitdiff
|
tree
next