projects
/
ocaml.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
ocaml.git
2019-11-04
Stefano Zacchiroli
Don't use rpath
commit
|
commitdiff
|
tree
|
snapshot
2019-11-04
Stephane Glondu
Prepare upload to unstable
commit
|
commitdiff
|
tree
|
snapshot
2019-11-04
Stephane Glondu
Update changelog
commit
|
commitdiff
|
tree
|
snapshot
2019-11-04
Stephane Glondu
Disable failing tests on hurd
commit
|
commitdiff
|
tree
|
snapshot
2019-11-04
Stephane Glondu
ocaml-nox do no longer provide num
commit
|
commitdiff
|
tree
|
snapshot
2019-11-04
Stephane Glondu
Switch experimental branches to sid
commit
|
commitdiff
|
tree
|
snapshot
2019-11-04
Stephane Glondu
Merge branch 'debian/experimental' into debian/sid
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
Avoid leaving an empty file after patch
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
Prepare upload to experimental
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
Refresh patches
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
Update changelog
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
Update OCAML_ABI
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
Update upstream source from tag 'upstream/4.08.1'
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
New upstream version 4.08.1
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
Update debian/control.in
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Stephane Glondu
Build-depend on debhelper-compat
commit
|
commitdiff
|
tree
|
snapshot
2019-08-24
Stephane Glondu
Remove quilt from Build-Depends
commit
|
commitdiff
|
tree
|
snapshot
2019-08-18
Stephane Glondu
Explicit dependencies of static -lbfd
commit
|
commitdiff
|
tree
|
snapshot
2019-08-18
Stephane Glondu
Update changelog
commit
|
commitdiff
|
tree
|
snapshot
2019-08-18
Stephane Glondu
Reimplement -custom without hacks
commit
|
commitdiff
|
tree
|
snapshot
2019-08-17
Stephane Glondu
Update changelog
commit
|
commitdiff
|
tree
|
snapshot
2019-08-17
Stephane Glondu
Disable testpreempt on kfreebsd for now
commit
|
commitdiff
|
tree
|
snapshot
2019-08-17
Stephane Glondu
Add Breaks/Replaces: ocaml-base to ocaml-base-nox ...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-17
Stephane Glondu
Put VERSION in ocaml-base-nox
commit
|
commitdiff
|
tree
|
snapshot
2019-08-17
Stephane Glondu
Statically link -lbfd to avoid a tight dep with libbinutils
commit
|
commitdiff
|
tree
|
snapshot
2019-08-06
Stephane Glondu
Remove debian/source/local-options
commit
|
commitdiff
|
tree
|
snapshot
2019-08-06
Stephane Glondu
Update changelog and prepare upload to unstable
commit
|
commitdiff
|
tree
|
snapshot
2019-08-06
Stephane Glondu
Provide libnum-ocaml{,-dev}
commit
|
commitdiff
|
tree
|
snapshot
2019-07-31
Stephane Glondu
Document forwarded patch
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
Stephane Glondu
Prepare upload to experimental
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
Stephane Glondu
Update changelog
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
Stephane Glondu
Document forwarded patches
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
Stephane Glondu
Tune testpreempt test to make it work on kfreebsd
commit
|
commitdiff
|
tree
|
snapshot
2019-07-30
Stephane Glondu
Disable native compiler on powerpc
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Disable native compiler on x32
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Fix discrepancy in upstream sources reported by dgit
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Prepare upload to experimental
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Update changelog
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Remove Samuel from Uploaders
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Bump Standards-Version to 4.4.0
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Fix spelling errors reported by Lintian
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Add more Lintian overrides
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Remove debian/source/local-options
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Add support for Debian's armhf in configure.ac
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Add x32 to native architectures
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Check for definition of AT_SECURE before using it
commit
|
commitdiff
|
tree
|
snapshot
2019-07-24
Stephane Glondu
Properly disable almabench test on slow architectures
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
Stephane Glondu
Use CCLINKFLAGS for linking all executables and shared...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-22
Stephane Glondu
Build with BUILD_PATH_PREFIX_MAP set
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Prepare upload to experimental
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Update changelog
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Remove useless build-dependency
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Update debian/copyright
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Fix disabling sockets test
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Synchronize generated files
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Fix broken doc symlinks (Closes: #877267)
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Update debian/clean
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Disable dh_dwz for now
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Bump debhelper compat to 12
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Fix file dispatch and add binary package ocaml-man
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Remove references to no-longer-shipped examples
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
Remove useless *.dirs* files
commit
|
commitdiff
|
tree
|
snapshot
2019-07-11
Stephane Glondu
ocaml-mode is now an independent project
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
Fix in configure.am
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
Start updating packaging (not finished!)
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
Update patches
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
New upstream release
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
Update upstream source from tag 'upstream/4.08.0'
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
New upstream version 4.08.0
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
New upstream version 4.07.1
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
New upstream version 4.07.0
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
New upstream version 4.06.1
commit
|
commitdiff
|
tree
|
snapshot
2019-07-10
Stephane Glondu
New upstream version 4.06.0
commit
|
commitdiff
|
tree
|
snapshot
2019-01-25
Stephane Glondu
Update changelog and prepare upload to unstable
commit
|
commitdiff
|
tree
|
snapshot
2019-01-25
Stephane Glondu
Delete trailing whitespaces in debian/changelog
commit
|
commitdiff
|
tree
|
snapshot
2019-01-25
Stephane Glondu
Update Vcs-* to point to salsa
commit
|
commitdiff
|
tree
|
snapshot
2019-01-25
Stephane Glondu
Use caml_ba_multov instead of caml_umul_overflow
commit
|
commitdiff
|
tree
|
snapshot
2019-01-25
Stephane Glondu
Fix integer overflows when unmarshaling a bigarray
commit
|
commitdiff
|
tree
|
snapshot
2019-01-25
Stephane Glondu
Refresh patches
commit
|
commitdiff
|
tree
|
snapshot
2018-04-18
Ralf Treinen
dropped recommends camlp4
commit
|
commitdiff
|
tree
|
snapshot
2017-10-04
Ximin Luo
Merge branch 'debian/sid' into debian/experimental
commit
|
commitdiff
|
tree
|
snapshot
2017-10-04
Ximin Luo
Release 4.05.0-10 to Debian unstable.
commit
|
commitdiff
|
tree
|
snapshot
2017-10-04
Ximin Luo
Update gbp.conf for sid branches
commit
|
commitdiff
|
tree
|
snapshot
2017-10-03
Ximin Luo
Replace the ARM PIC patch with one from upstream
commit
|
commitdiff
|
tree
|
snapshot
2017-10-03
Ximin Luo
Drop support for ocamlopt on armel as suggested by...
commit
|
commitdiff
|
tree
|
snapshot
2017-09-15
Ximin Luo
Release 4.05.0-9 to Debian unstable.
commit
|
commitdiff
|
tree
|
snapshot
2017-09-14
Ximin Luo
Release 4.05.0-8 to Debian experimental
commit
|
commitdiff
|
tree
|
snapshot
2017-09-14
Ximin Luo
Replace arm64 patch with one applied upstream
commit
|
commitdiff
|
tree
|
snapshot
2017-08-16
Ximin Luo
Mark old bugs as closed
commit
|
commitdiff
|
tree
|
snapshot
2017-08-16
Pino Toscano
Convert the menu file to a desktop file
commit
|
commitdiff
|
tree
|
snapshot
2017-08-09
Ximin Luo
Update d/changelog
commit
|
commitdiff
|
tree
|
snapshot
2017-08-09
Ximin Luo
Merge branch 'debian/sid' into debian/experimental
commit
|
commitdiff
|
tree
|
snapshot
2017-08-09
Ximin Luo
Add .gitattributes for easy changelog merging
commit
|
commitdiff
|
tree
|
snapshot
2017-07-30
Ximin Luo
Release 4.05.0-7 to Debian experimental.
commit
|
commitdiff
|
tree
|
snapshot
2017-07-30
Ximin Luo
Only install ocaml-native-compilers.conf on native...
commit
|
commitdiff
|
tree
|
snapshot
2017-07-29
Ximin Luo
Release 4.05.0-6 to Debian experimental.
commit
|
commitdiff
|
tree
|
snapshot
2017-07-29
Ximin Luo
Mark certain symbols as .hidden in arm64 codegen, fixin...
commit
|
commitdiff
|
tree
|
snapshot
2017-07-22
Ximin Luo
Release 4.05.0-5 to Debian experimental.
commit
|
commitdiff
|
tree
|
snapshot
2017-07-22
Ximin Luo
Update d/changelog
commit
|
commitdiff
|
tree
|
snapshot
2017-07-22
Ximin Luo
Proper fix for kfreebsd-* not having dup3/pipe2
commit
|
commitdiff
|
tree
|
snapshot
next