[Pkg-ocaml-maint-commits] [marionnet] branch master updated (c9ea72a -> d0a54a9)
Lucas Nussbaum
lucas at moszumanska.debian.org
Mon Oct 30 22:28:53 UTC 2017
This is an automated email from the git hooks/post-receive script.
lucas pushed a change to branch master
in repository marionnet.
from c9ea72a d/control: remove myself from Uploaders
new 2416155 New upstream version 0.90+bzr506
new 48b9e2a Merge tag 'upstream/0.90+bzr506'
new 2fac9dc Refresh patches
new ee72574 Initialize changelog
new 2fd2a70 Add stricter dep on ocamlbricks
new 08334c3 Add symlink to port-helper in $PATH
new 7aeebcb Add xterm to Depends (Closes: #866606)
new 91d3674 Mention Multiarch in README.Debian. Closes: #866607
new f74be64 Update changelog
new 15bf7b1 Add patch from ceridwen.debian.bugs at gmail.com to support building reproducibly. Closes: #818952
new e788444 Remove obsolete b-dep on dh-systemd
new 3b8aa60 Bump debian/compat to 9
new 64e3f05 Bump Standards-version to 4.1.1. No changes needed.
new eba6026 Remove duplicate license in debian/copyright
new 154c694 New upstream version 0.90.6+bzr508
new a6af986 Merge tag 'upstream/0.90.6+bzr508'
new 587e6fc Run wrap-and-sort -a
new f540b79 Stricter dep on camlbricks
new d0a54a9 Prepare changelog
The 19 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
CONFIGME | 18 +-
Makefile | 115 +-
Makefile.local | 33 +-
cable.ml | 50 +-
chip/chip.ml | 820 ----
chip/chip.mli | 515 ---
chip/chip_example.ml | 126 -
chip/chip_parser_p4.ml | 421 --
chip/chip_parser_p4.old_version.ml | 529 ---
chip/wGButton.ml | 91 -
cloud.ml | 5 +-
compatibility/forest_backward_compatibility.ml | 16 +
configuration.ml | 7 +
configuration.mli | 8 +
cow_files.ml | 2 +-
daemon_client.ml | 50 +-
daemon_language.ml | 147 +-
debian/README.Debian | 2 +-
debian/changelog | 16 +
debian/compat | 2 +-
debian/control | 41 +-
debian/copyright | 4 +-
debian/marionnet.install | 4 +-
...e-installation-paths-for-Debian-packaging.patch | 14 +-
.../patches/0003-Tweak-ocamldep-search-path.patch | 8 +-
debian/patches/reproducible-build.patch | 23 +
debian/patches/series | 1 +
debian/rules | 10 +
descendants_monitor.ml | 2 +-
disk.ml | 63 +-
disk.mli | 17 +-
gettext.ml | 9 +-
global_options.ml | 38 +-
gui/gui_bricks.ml | 487 ++-
gui/gui_bricks.mli | 122 +-
gui/gui_dialog_A_PROPOS.ml | 2 +-
gui/gui_dialog_toolkit.ml | 2 +-
gui/gui_menubar_MARIONNET.ml | 55 +-
gui/gui_source_editing.ml | 21 +-
gui/gui_toolbar_COMPONENTS_layouts.ml | 2 +-
gui/gui_toolbar_DOT_TUNING.ml | 23 +-
gui/ledgrid.ml | 4 +-
gui/ledgrid_manager.ml | 5 +-
gui/menu_factory.ml | 2 +-
gui/menu_factory.mli | 4 +-
gui/simple_dialogs.ml | 25 +-
gui/talking.ml | 211 +-
gui/talking.mli | 100 +-
hub.ml | 3 +
initialization.ml | 16 +-
machine.ml | 228 +-
marionnet-daemon.ml | 371 +-
marionnet.ml | 47 +-
meta.ml.released | 12 +-
motherboard.ml | 11 -
motherboard_builder.ml | 300 +-
motherboard_builder.mli | 3 +-
po/messages.pot | 534 ++-
router.ml | 799 +++-
scripts/marionnet_telnet.sh | 129 +
serial.ml | 8 +-
share/images/README | 9 +
share/images/ico.cable-serial-left-right.large.png | Bin 2680 -> 2680 bytes
share/images/ico.cable-serial-left-right.small.png | Bin 979 -> 979 bytes
share/images/ico.cable-serial.small.png | Bin 4903 -> 4903 bytes
share/images/ico.cable-serial.xxl.png | Bin 19983 -> 19983 bytes
share/images/ico.dado-no.24.png | Bin 1744 -> 1744 bytes
share/images/ico.dado.24.png | Bin 1567 -> 1567 bytes
share/images/ico.diffuser.orig.png | Bin 2744 -> 2744 bytes
share/images/ico.hardware-gray.small.png | Bin 3186 -> 3186 bytes
share/images/ico.resource-2.med.png | Bin 8111 -> 8111 bytes
share/images/ico.script-analyse-3.med.png | Bin 5093 -> 5093 bytes
share/images/ico.script-finish.med.png | Bin 5625 -> 5625 bytes
share/images/ico.script-start-2.med.png | Bin 6798 -> 6798 bytes
share/images/ico.snapshot.42x42.png | Bin 0 -> 2828 bytes
share/images/ico.snapshot.svg | 4531 ++++++++++++++++++++
share/images/ico.software-gray.small.png | Bin 3126 -> 3126 bytes
share/images/ico.uml-gray.small.png | Bin 2192 -> 2192 bytes
share/images/ico.xml-16.inv.png | Bin 702 -> 702 bytes
share/images/launcher-icons/marionnet-launcher.png | Bin 5414 -> 5414 bytes
share/images/marionnet-launcher.png | Bin 5414 -> 5414 bytes
share/marionnet.conf | 1 -
share/quagga_zebra.lang | 307 ++
simulation_level.ml | 228 +-
simulation_level.mli | 195 +-
sketch.ml | 230 +
sketch.mli | 74 +
state.ml | 830 ++--
switch.ml | 73 +-
icon.ml => task_runner.mli | 30 +-
test_with_utop.sh | 64 +
treeview.ml | 299 +-
treeview_defects.ml | 24 +-
treeview_documents.ml | 100 +-
treeview_history.ml | 115 +-
treeview_ifconfig.ml | 118 +-
uml/guest/marionnet-relay | 43 +-
uml/kernel/{CONFIG-3.2.48 => CONFIG-3.2.51} | 3 +-
uml/kernel/{CONFIG-3.2.48 => CONFIG-3.2.64} | 197 +-
uml/pupisto.buildroot/Makefile | 2 +-
uml/pupisto.buildroot/README.buildroot | 19 +
uml/pupisto.buildroot/pupisto.buildroot.sh | 4 +-
.../pupisto.buildroot.sh.files/nanorc | 2 +-
.../pupisto.buildroot.sh.files/quagga/bgpd.conf | 6 +-
.../pupisto.buildroot.sh.files/quagga/isisd.conf | 7 +-
.../pupisto.buildroot.sh.files/quagga/ospf6d.conf | 6 +-
.../pupisto.buildroot.sh.files/quagga/ospfd.conf | 6 +-
.../pupisto.buildroot.sh.files/quagga/quagga | 23 +-
.../pupisto.buildroot.sh.files/quagga/ripd.conf | 6 +-
.../pupisto.buildroot.sh.files/quagga/ripngd.conf | 6 +-
.../pupisto.buildroot.sh.files/quagga/zebra.conf | 7 +-
.../quagga/zebrasrv.conf | 6 +-
uml/pupisto.common/toolkit_chroot.sh | 68 +-
uml/pupisto.debian/Makefile | 2 +-
uml/pupisto.debian/pupisto.debian.sh | 2 +-
useful-scripts/marionnet_from_scratch | 136 +-
user_level.ml | 401 +-
user_level.mli | 673 +++
world_bridge.ml | 197 +-
world_gateway.ml | 5 +-
x.ml | 267 +-
x.mli | 6 +-
122 files changed, 10966 insertions(+), 5095 deletions(-)
delete mode 100644 chip/chip.ml
delete mode 100644 chip/chip.mli
delete mode 100644 chip/chip_example.ml
delete mode 100644 chip/chip_parser_p4.ml
delete mode 100644 chip/chip_parser_p4.old_version.ml
delete mode 100644 chip/wGButton.ml
create mode 100644 compatibility/forest_backward_compatibility.ml
create mode 100644 debian/patches/reproducible-build.patch
delete mode 100644 motherboard.ml
create mode 100755 scripts/marionnet_telnet.sh
create mode 100644 share/images/ico.snapshot.42x42.png
create mode 100644 share/images/ico.snapshot.svg
create mode 100644 share/quagga_zebra.lang
create mode 100644 sketch.ml
create mode 100644 sketch.mli
copy icon.ml => task_runner.mli (52%)
create mode 100755 test_with_utop.sh
copy uml/kernel/{CONFIG-3.2.48 => CONFIG-3.2.51} (99%)
copy uml/kernel/{CONFIG-3.2.48 => CONFIG-3.2.64} (86%)
create mode 100644 user_level.mli
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.git
More information about the Pkg-ocaml-maint-commits
mailing list